R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, p.183235, 1994.

[. Alur, L. Fix, and T. A. Henzinger, A determinizable class of timed automata, Proceedings of the 6th International Conference on Computer Aided Verication (CAV'94), p.113, 1994.
DOI : 10.1007/3-540-58179-0_39

R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, Alternating renement relations, Proceedings of the 9th International Conference on Concurrency Theory (CONCUR '98), volume 1466 of Lecture Notes in Computer Science, p.163178

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), p.469474, 1998.

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, p.4354, 2009.
DOI : 10.1007/978-3-642-02930-1_4
URL : https://hal.archives-ouvertes.fr/inria-00424351

C. Baier, N. Bertrand, P. Bouyer, and T. Brihaye, When are timed automata determinizable? Research Report LSV-09-08, 2009.
DOI : 10.1007/978-3-642-02930-1_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.7986

[. Bouyer, F. Chevalier, D. Deepak, and . Souza, Fault Diagnosis Using Timed Automata, Proceedings of the 8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'05), p.219233, 2005.
DOI : 10.1007/978-3-540-31982-5_14

P. Bouyer, From Qualitative to Quantitative Analysis of Timed Systems. Mémoire d'habilitation, 2009.

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

O. Finkel, Undecidable Problems About Timed Automata, Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'06), p.187199, 2006.
DOI : 10.1007/11867340_14
URL : https://hal.archives-ouvertes.fr/hal-00121529

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

L. Manasa, S. Narayanan, and K. , Integer reset timed automata: Clock reduction and determinizability, 2010.

[. Suman, P. K. Pandya, L. Shankara-narayanan-krishna, and . Manasa, 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), p.7892, 2008.
DOI : 10.1007/978-3-540-85778-5_7

S. Tripakis, Folk theorems on the determinization and minimization of timed automata, Information Processing Letters, vol.99, issue.6, p.222226, 2006.