Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem | Publicación