R. Alur and D. L. 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

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., Uppaaltiga: Time for playing games, Computer Aided Verification, pp.121-125, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00350466

D. Alfaro, L. Faella, M. Henzinger, T. A. Majumdar, R. Stoelinga et al., The Element of Surprise in Timed Games, CONCUR 2003- Concurrency Theory, pp.144-158, 2003.
DOI : 10.1007/978-3-540-45187-7_9

F. Kirschke-biller, Autosar ? A worldwide standard current developments, roll-out and outlook, 2011.

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