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

]. L. Barroca, J. Fiadeiro, M. Jackson, R. Laney, and B. Nuseibeh, https://team.inria.fr/aoste/team-members Problem frames: A case for coordination, Coordination, 2004.

D. Garlan and M. Shaw, AN INTRODUCTION TO SOFTWARE ARCHITECTURE, 1994.
DOI : 10.1142/9789812798039_0001

N. Medvidovic and R. N. Taylor, A framework for classifying and comparing architecture description languages, Proceedings of the 6th European SOFTWARE ENGINEERING Conference Held Jointly with the 5th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ser. ESEC '97, pp.60-76, 1997.

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

J. Deantoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs Available: https, Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015.

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

F. Latombe, X. Crégut, B. Combemale, J. Deantoni, and M. Pantel, Weaving Concurrency in eXecutable Domain-Specific Modeling Languages Available: https, 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE). Pittsburg, United States: ACM, 2015. [Online]

B. Evans, A. Kamas, and E. A. Lee, Design and simulation of heterogeneous systems using ptolemy, Proceedings of ARPA RASSP Conference, 1994.

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

E. A. Lee and A. Sangiovanni-vincentelli, Comparing models of computation, Proceedings of International Conference on Computer Aided Design, 1997.
DOI : 10.1109/ICCAD.1996.569613

A. Jantsch, Modeling Embedded Systems and SoCs, 2004.

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

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

B. Combemale, J. Deantoni, O. Barais, A. Blouin, E. Bousse et al., A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio, 8th Transformation Tool Contest
URL : https://hal.archives-ouvertes.fr/hal-01152342

G. A. Papadopoulos and F. Arbab, Coordination Models and Languages, CWI (Centre for Mathematics and Computer Science), 1998.
DOI : 10.1016/S0065-2458(08)60208-9

D. Gelernter and N. Carriero, Coordination languages and their significance, Communications of the ACM, vol.35, issue.2, pp.97-107, 1992.
DOI : 10.1145/129630.129635

F. Arbab, I. Herman, and P. Spilling, An overview of manifold and its implementation, Concurrency: Practice and Experience, vol.14, issue.1, pp.23-70, 1993.
DOI : 10.1002/cpe.4330050103

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, pp.314-335, 1995.
DOI : 10.1109/32.385970

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

D. C. Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan et al., Specification and analysis of system architecture using Rapide, IEEE Transactions on Software Engineering, vol.21, issue.4
DOI : 10.1109/32.385971