A. R. Dill-d, « A theory of timed automata, Theor. Comput. Sci, vol.126, issue.2, pp.183-235, 1994.

B. M. Daws-c, . Maler-o, T. S. Olivero-a, and Y. S. , A model-checking tool for real-time systems, Proc. 1998 Computer-Aided Verification , CAV'98, 1998.

. S. Graf, . Haugen-o, . Ober-i, and . Selic-b, Specification and Validation of UML models for Real Time and Embedded Systems : An STTT special section, under press de STTT, Journal for Software Tools for Technology Transfer, 2005.

T. Henzinger, K. C. Horowitz-b, and . Giotto, Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003.
DOI : 10.1109/JPROC.2002.805825

M. Fleurey-f and J. , « Weaving Executability into Object-Oriented Meta-languages, Lecture Notes in Computer Science, vol.3713, pp.264-278, 2005.