A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Uppaaltiga: Time for playing games, Computer Aided Verification, pp.121-125, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00350466
The Element of Surprise in Timed Games, CONCUR 2003- Concurrency Theory, pp.144-158, 2003. ,
DOI : 10.1007/978-3-540-45187-7_9
Autosar ? A worldwide standard current developments, roll-out and outlook, 2011. ,
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072