Maestre Martínez, Roberto  (2018).  Modelo algebraico con precálculo de operaciones para la detección de situaciones peligrosas en grandes instalaciones ferroviarias.  Thesis (Doctoral), E.T.S.I. de Sistemas Informáticos (UPM) <https://oa.upm.es/view/institution/ETSI=5FSistemas=5FInfor/>.   https://doi.org/10.20868/UPM.thesis.52233 <https://doi.org/10.20868/UPM.thesis.52233>.