A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time systems in BIP, Proceedings of SEFM'06, pp.3-12
URL : https://hal.archives-ouvertes.fr/tel-00527491

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, 2008.
DOI : 10.1145/1376804.1376811

URL : https://hal.archives-ouvertes.fr/inria-00555841

S. Bliudze and J. Sifakis, A Notion of Glue Expressiveness for Component-Based Systems, Proceedings of CONCUR'08, pp.508-522, 2008.
DOI : 10.1007/978-3-540-85361-9_39

M. Bozga, M. Jaber, and J. Sifakis, Source-to-source architecture transformation for performance optimization in BIP
URL : https://hal.archives-ouvertes.fr/hal-00722520

M. Bozga, V. Sfyrla, and J. Sifakis, Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09
DOI : 10.1145/1629335.1629347

URL : https://hal.archives-ouvertes.fr/hal-00722479

S. L. Campbell, J. Chancelier, and R. Nikoukhah, Modeling and Simulation in Scilab/Scicos
DOI : 10.1007/978-1-4419-5527-2_3

P. Combes, D. Harel, and H. Kugler, Modeling and verification of a telecommunication application using live sequence charts and the play-engine tool, Proceedings of ATVA'05, pp.414-428

F. Commoner, A. W. Holt, S. Even, and A. Pnueli, Marked directed graphs, Journal of Computer and System Sciences, vol.5, issue.5, pp.511-523, 1971.
DOI : 10.1016/S0022-0000(71)80013-2

URL : http://doi.org/10.1016/s0022-0000(71)80013-2

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

P. L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, vol.79, issue.9, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

URL : https://hal.archives-ouvertes.fr/inria-00540460

N. Halbwachs, About synchronous programming and abstract interpretation, SCP, vol.31, issue.1, pp.75-89, 1998.
DOI : 10.1007/3-540-58485-4_40

URL : http://dx.doi.org/10.1016/s0167-6423(96)00041-x

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

D. Harel and S. Maoz, Assert and negate revisited, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools , SCESM '06, pp.237-252, 2008.
DOI : 10.1145/1138953.1138958

K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, Proceedings of ESOP'07, pp.64-79
DOI : 10.1007/978-3-540-71316-6_6

F. Maraninchi and T. Bouhadiba, Programmable models of computation for a component-based approach to heterogeneous embedded systems, Proceedings of ACM-GPCE'07
URL : https://hal.archives-ouvertes.fr/hal-00294153

D. Nowak, Synchronous structures. Information and Computation, pp.1295-1324, 2006.

Y. Zhou and E. A. Lee, Causality interfaces for actor networks, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008.
DOI : 10.1145/1347375.1347382

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=