González Miranda, O., & Cerrada Lozada, M. (2014). Diagnóstico de Sistemas de Eventos Discretos Controlados: Un Enfoque Basado en Crónicas y Análisis Modular Usando Modelos de Autómatas. Revista Iberoamericana De Automática E Informática Industrial, 11(2), 191–201. https://doi.org/10.1016/j.riai.2014.02.003