E. A. Lee, Embedded Software, Advances in Computers, 2002.
DOI : 10.1016/S0065-2458(02)80004-3

J. Lilius and I. P. Paltor, Formalising UML State Machines for Model Checking, UML 1999, pp.430-445, 1999.
DOI : 10.1007/3-540-46852-8_31

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

D. Bjórklund, A Kernel Language for Unified Code Synthesis, 2005.

E. A. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1997.
DOI : 10.1109/43.736561

X. Liu, Semantic Foundation of the Tagged Signal Model, 2005.

A. Girault, B. Lee, and E. A. Lee, Hierarchical finite state machines with multiple concurrency models, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, issue.6, 1999.
DOI : 10.1109/43.766725

A. Benveniste, B. Caillaud, L. Carloni, and A. Sangiovanni-vincentelli, Heterogeneous reactive systems modeling, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, 2004.
DOI : 10.1145/1017753.1017790
URL : https://hal.archives-ouvertes.fr/inria-00001058

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-vincentelli, Composing heterogeneous reactive systems, ACM Transactions on Embedded Computing Systems, vol.7, issue.4, 2007.
DOI : 10.1145/1376804.1376811
URL : https://hal.archives-ouvertes.fr/inria-00555841

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

F. Balarin, P. Giusto, A. Jurecska, C. Passerone, E. Sentovich et al., Hardware-Software Co-Design of Embedded Systems, The POLIS Approach, 1997.

A. Dahlin, JRialto, an implementation of the heterogeneous Rialto modelling language . Master's thesis, 2007.