Text this: Verificación de la diagnosticabilidad de un sistema de eventos discretos en función del número de señales de salida