Text this: Diagnóstico de Sistemas de Eventos Discretos Controlados: Un Enfoque Basado en Crónicas y Análisis Modular Usando Modelos de Autómatas