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

R. Alur, T. A. Henzinger, and M. Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.592-601, 1993.
DOI : 10.1145/167088.167242
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.3317

E. Asarin, O. Maler, A. Pnueli, and J. Sifakis, Controller synthesis for timed automata, Proc. IFAC Symposium on System Structure and Control, 1998.

L. Bozzelli, S. Pinchinat, and A. Legay, On timed alternating simulation for concurrent timed games, FSTTCS 2009, Leibniz Int. Proceedings in Informatics, 2009.
DOI : 10.1007/s00236-012-0158-y
URL : https://hal.archives-ouvertes.fr/inria-00555977

P. Bulychev, T. Chatain, A. David, and K. Larsen, Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation, FORMATS '09, pp.73-87, 2009.
DOI : 10.1007/BFb0023458

F. Cassez, A. David, E. Fleury, K. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, CONCUR'05, 2005.
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

T. Hune, J. Romijn, M. Stoelinga, and F. Vaandrager, Linear parametric model checking of timed automata, Journal of Logic and Algebraic Programming, pp.52-53, 2002.

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, STACS '95, 1995.
DOI : 10.1007/3-540-59042-0_76

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072