A. Gamatié, S. L. Beux, E. Piel, A. Etien, R. B. Atitallah et al., A model driven design framework for high performance embedded systems, Research Report, vol.6614, 2008.

C. Brunette, J. Talpin, A. Gamatie, and T. Gautier, A metamodel for the design of polychronous systems, The Journal of Logic and Algebraic Programming, vol.78, issue.4, 2009.
DOI : 10.1016/j.jlap.2008.11.005
URL : https://hal.archives-ouvertes.fr/hal-00788580

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Frédéric Lang, and François Vernadat. FIACRE: an Intermediate Language for Model Verification in the TOPCASED Environment, Proceedings of the 4th European Congress on Embedded Real-Time Software ERTS'08, 2008.

B. Berthomieu and H. Garavel, Frédéric Lang, and François Vernadat. Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE, In ERCIM News, vol.75, 2008.

H. Garavel, F. Lang, R. Mateescu, W. Serwe, and . Cadp, A Toolbox for the Construction and Analysis of Distributed Processes, Proceedings of the 19th International Conference on Computer Aided Verification CAV, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00189021

B. Berthomieu, P. O. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004.
DOI : 10.1137/0216062

T. Cambois, ECLIPSE Project: Modeling and simulation of vehicle dynamics and control systems in Scicos, 1 st Scilab International Conference, 2004.

M. Nakhle and C. Faure, De la modélisation/simulation à l'implantation temps réel de systèmes complexes IliaTech : Modélisation, simulation et génération de code temps réel embarqué, p.17