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

O. Finkel, Undecidable Problems About Timed Automata, Proceedings of the 4th international conference on formal modeling and analysis of timed systems (FORMATS'06) (Lecture Notes in Computer Science), pp.187-199, 2006.
DOI : 10.1007/11867340_14
URL : https://hal.archives-ouvertes.fr/hal-00121529

S. Tripakis, Folk theorems on the determinization and minimization of timed automata, Information Processing Letters, vol.99, issue.6, pp.222-226, 2006.
DOI : 10.1016/j.ipl.2006.04.015

E. Asarin, O. Maler, A. Pnueli, and J. Sifakis, Controller synthesis for timed automata, Proceedings of the 5th IFAC symposium on system structure and control (SSSC'98, pp.469-474, 1998.

R. Alur, L. Fix, and T. Henzinger, A determinizable class of timed automata, Proceedings of the 6th international conference on computer aided verification (CAV'94) (Lecture Notes in Computer Science), pp.1-13, 1994.
DOI : 10.1007/3-540-58179-0_39

S. Vijay, P. Pandya, K. Narayanan, and M. Lakshmi, Timed automata with integer resets: language inclusion and expressiveness, Proceedings of the 6th international conference on formal modeling and analysis of timed systems (FORMATS'08), pp.78-92, 2008.

C. Baier, N. Bertrand, P. Bouyer, and T. Brihaye, When Are Timed Automata Determinizable?, Proceedings of the 36th international colloquium on automata, languages and programming (ICALP'09) (Lecture Notes in Computer Science), pp.43-54, 2009.
DOI : 10.1007/978-3-642-02930-1_4
URL : https://hal.archives-ouvertes.fr/inria-00424351

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/s10703-009-0065-1

P. Bouyer, C. F. , D. Souza, and D. , Fault Diagnosis Using Timed Automata, Proceedings of the 8th international conference on foundations of software science and computational structures (FOSSACS'05) (Lecture Notes in Computer Science), pp.219-233, 2005.
DOI : 10.1007/978-3-540-31982-5_14

N. Bertrand, T. Jéron, A. Stainer, and M. Krichen, Off-line test selection with test purposes for nondeterministic timed automata, Log Methods Comput Sci, vol.8, issue.48, p.1, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00550923

N. Bertrand, A. Stainer, T. Jéron, and M. Krichen, A game approach to determinize timed automata, Proceedings of the 14th international conference on foundations of software science and computation structures (FOSSACS'11) (Lecture Notes in Computer Science), pp.245-259, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01102472

E. Grädel, W. Thomas, and T. Wilke, Automata, logics, and infinite games: a guide to current research, Lecture Notes in Computer Science), vol.2500, 2002.
DOI : 10.1007/3-540-36387-4

P. Bouyer, C. Dufourd, E. Fleury, and A. Petit, Updatable timed automata, Theor Comput Sci, vol.321, pp.2-3291, 2004.
DOI : 10.1016/j.tcs.2004.04.003
URL : https://hal.archives-ouvertes.fr/hal-00350196

M. Lakshmi and K. Narayanan, Integer reset timed automata: clock reduction and determinizability, 2010.

P. Bouyer, Forward Analysis of Updatable Timed Automata, Formal Methods in System Design, vol.24, issue.3, pp.281-320, 2004.
DOI : 10.1023/B:FORM.0000026093.21513.31

N. Bertrand, T. Jéron, A. Stainer, and M. Krichen, Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, Proceedings of the 17th international conference on tools and algorithms for the construction and analysis of systems (TACAS'11), pp.96-111, 2011.
DOI : 10.1016/j.ipl.2006.04.015
URL : https://hal.archives-ouvertes.fr/inria-00550923

R. Alur, T. Henzinger, O. Kupferman, and M. Vardi, Alternating refinement relations, Proceedings of the 9th international conference on concurrency theory (CONCUR'98) (Lecture Notes in Computer Science), pp.163-178, 1998.
DOI : 10.1007/BFb0055622

A. David, K. Larsen, A. Legay, U. Nyman, and A. Wasowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010.
DOI : 10.1145/1755952.1755967