R. Alur, T. A. Henzinger, and O. Kupferman, Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.
DOI : 10.1145/585265.585270
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5461

T. A. Luca-de-alfaro, R. Henzinger, and . Majumdar, Symbolic Algorithms for Infinite-State Games
DOI : 10.1007/3-540-44685-0_36

A. Arnold, A. Vincent, and I. Walukiewicz, Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.303, issue.1, pp.7-34, 2003.
DOI : 10.1016/S0304-3975(02)00442-5

L. Aceto, P. Bouyer, A. Burgueño, and K. G. Larsen, The power of reachability testing for timed automata, Theoretical Computer Science (TCS), vol.300, pp.1-3411, 2003.

P. Bouyer, F. Cassez, and F. Laroussinie, Modal Logics for Timed Control, 2005.
DOI : 10.1007/11539452_10
URL : https://hal.archives-ouvertes.fr/inria-00368581

D. Deepak, P. Souza, and . Madhusudan, Timed control synthesis for external specifications

M. Faella, S. L. Torre, and A. Murano, Dense real-time games, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
DOI : 10.1109/LICS.2002.1029826

F. Laroussinie and K. G. Larsen, Compositional model-checking of real-time systems

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

S. Riedweg and S. Pinchinat, Quantified Mu-Calculus for Control Synthesis
DOI : 10.1007/978-3-540-45138-9_58
URL : https://hal.archives-ouvertes.fr/inria-00071793