B. Combemale, J. Deantoni, B. Baudry, R. France, J. Jézéquel et al., Globalizing Modeling Languages, Computer, vol.47, issue.6, 2014.
DOI : 10.1109/MC.2014.147
URL : https://hal.archives-ouvertes.fr/hal-00994551

F. Fleurey, B. Baudry, R. France, and S. Ghosh, A Generic Approach for Automatic Model Composition, AOM Workshop at Models, 2007.
DOI : 10.1007/978-3-540-69073-3_2
URL : https://hal.archives-ouvertes.fr/inria-00477568

D. S. Kolovos, R. F. Paige, and F. A. Polack, Merging Models with the Epsilon Merging Language (EML), 2006.
DOI : 10.1007/11880240_16

D. Gelernter and N. Carriero, Coordination languages and their significance, Commun. ACM, 1992.

M. Shaw, R. Deline, D. Klein, T. Ross, D. Young et al., Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, 1995.
DOI : 10.1109/32.385970

M. , V. Larsen, and A. Goknil, Railroad Crossing Heterogeneous Model, GEMOC workshop, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867316

G. A. Papadopoulos and F. Arbab, Coordination Models and Languages, CWI, Tech. Rep, 1998.
DOI : 10.1016/S0065-2458(08)60208-9

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

P. Bjureus and A. Jantsch, Modeling of mixed control and dataflow systems in MASCOT, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.9, issue.5, 2001.
DOI : 10.1109/92.953502

A. Girault, B. Lee, and E. 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

D. Balasubramanian, C. S. , M. W. Whalen, G. Karsai, and M. Lowry, Polyglot, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, 2011.
DOI : 10.1145/2001420.2001427

B. Chapman, M. Haines, P. Mehrota, H. Zima, and J. Van-rosendale, Opus: A Coordination Language for Multidisciplinary Applications, Scientific Programming, vol.6, issue.4, 1997.
DOI : 10.1155/1997/632908

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, 1998.
DOI : 10.1109/43.736561

L. Barroca, J. Fiadeiro, M. Jackson, R. Laney, and B. Nuseibeh, Problem Frames: A Case for Coordination, Coordination, 2004.
DOI : 10.1145/158431.158438

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), Tech. Rep, 2009.

A. Benveniste, B. Caillaud, L. Carloni, and A. Sangiovanni-vincentelli, Tag machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086276

B. Combemale, J. Deantoni, M. Vara-larsen, F. Mallet, O. Barais et al., Reifying Concurrency for Executable Metamodeling, SLE, 2013.
DOI : 10.1007/978-3-319-02654-1_20
URL : https://hal.archives-ouvertes.fr/hal-00850770

J. Deantoni and F. Mallet, ECL: the Event Constraint Language, an Extension of OCL with Events, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00721169

A. Arnold, Transition systems and concurrent processes Mathematical problems in Computation theory, 1987.

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, TOOLS, 2012.
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590

M. Vara-larsen, J. Deantoni, B. Combemale, and F. Mallet, D3.1.2 - Language Composition Operator, Tech. Rep, 2014.

M. D. Natale, F. Chirico, A. Sindico, and A. Sangiovanni-vincentelli, An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink, ACM/IEEE Models, 2014.
DOI : 10.1007/978-3-319-11653-2_22

M. Rhepp, H. Stgner, and A. Uhl, Comparison of jpeg and jpeg 2000 in low-power confidential image transmission, SPC, 2004.

S. Bliudze and J. Sifakis, The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007.
DOI : 10.1145/1289927.1289935
URL : https://hal.archives-ouvertes.fr/hal-00282866

A. Davare, D. Densmore, L. Guo, R. Passerone, A. L. Sangiovanni-vincentelli et al., II, ACM Transactions on Embedded Computing Systems, vol.12, issue.1s, 2013.
DOI : 10.1145/2435227.2435245

G. Simko, T. Levendovszky, S. Neema, E. Jackson, T. Bapty et al., Foundation for Model Integration: Semantic Backplane, Volume 2: 32nd Computers and Information in Engineering Conference, Parts A and B, 2012.
DOI : 10.1115/DETC2012-70534

F. Boulanger and C. Hardebolle, Simulation of Multi-Formalism Models with ModHel'X, 2008 International Conference on Software Testing, Verification, and Validation, 2008.
DOI : 10.1109/ICST.2008.15
URL : https://hal.archives-ouvertes.fr/hal-00289188

A. Roo, H. Sözer, and M. Aks¸itaks¸it, Composing domain-specific physical models with general-purpose software modules in embedded control software, Softw. Syst. Model, 2014.