K. Altisen and S. Tripakis, Implementation of timed automata: an issue of semantics or modeling? In Formal Modeling and Analysis of Timed Systems (FORMATS'05), LNCS, vol.3829, 2005.

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

S. Bensalem, M. Bozga, M. Krichen, and S. Tripakis, Testing Conformance of Real-Time Applications by Automatic Generation of Observers, 4th International Workshop on Runtime Verification, pp.23-43, 2005.
DOI : 10.1016/j.entcs.2004.01.036

P. Bouyer, Forward analysis of updatable timed automata. Formal Methods in System Design, pp.281-320, 2004.

P. Bouyer, F. Chevalier, and D. Souza, Fault Diagnosis Using Timed Automata, FoSSaCS'05, pp.219-233, 2005.
DOI : 10.1007/978-3-540-31982-5_14

T. Henzinger, Z. Manna, and A. Pnueli, What good are digital clocks?, ICALP'92, 1992.
DOI : 10.1007/3-540-55719-9_103

S. Jiang and R. Kumar, Diagnosis of dense-time systems using digital clocks, ACC'06, 2006.

M. Krichen and S. Tripakis, Black-Box Conformance Testing for Real-Time Systems, 11th International SPIN Workshop on Model Checking of Software, 2004.
DOI : 10.1007/978-3-540-24732-6_8

M. Krichen and S. Tripakis, Real-time testing with timed automata testers and coverage criteria In Formal Techniques, Modelling and Analysis of Timed and Fault Tolerant Systems (FORMATS-FTRTFT'04), LNCS, vol.3253, 2004.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, 1995.
DOI : 10.1109/9.412626

S. Tripakis, Fault diagnosis for timed automata In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'02), volume 2469 of LNCS, 2002.

S. Tripakis and S. Yovine, Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design, pp.25-68, 2001.

S. Tripakis, S. Yovine, and A. Bouajjani, Checking timed Büchi automata emptiness efficiently. Formal Methods in System Design, pp.267-292, 2005.