« A theory of timed automata, Theor. Comput. Sci, vol.126, issue.2, pp.183-235, 1994. ,
A model-checking tool for real-time systems, Proc. 1998 Computer-Aided Verification , CAV'98, 1998. ,
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. ,
Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003. ,
DOI : 10.1109/JPROC.2002.805825
« Weaving Executability into Object-Oriented Meta-languages, Lecture Notes in Computer Science, vol.3713, pp.264-278, 2005. ,