Fault diagnosis using timed automata (2005)

by P Bouyer, F Chevalier, D D'Souza
Venue:In Foundations of Software Science and Computation Structure