O. González Miranda y M. Cerrada Lozada, «Diagnóstico de Sistemas de Eventos Discretos Controlados: Un Enfoque Basado en Crónicas y Análisis Modular Usando Modelos de Autómatas», Rev. iberoam. autom. inform. ind., vol. 11, n.º 2, pp. 191–201, abr. 2014.