O. Alam, J. Kienzle, and G. Mussbacher, Concern-Oriented Software Design, Model-Driven Engineering Languages and Systems, pp.604-621, 2013.
DOI : 10.1007/978-3-642-41533-3_37

A. Benelallam, A. Gmez, G. Suny, M. Tisi, and D. Launay, Neo4EMF, A Scalable Persistence Layer for EMF Models, Modelling Foundations and Applications, pp.230-241, 2014.
DOI : 10.1007/978-3-319-09195-2_15
URL : https://hal.archives-ouvertes.fr/hal-00968516

B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen et al., Constraint Markov Chains, Theoretical Computer Science, vol.412, issue.34, pp.4373-4404, 2011.
DOI : 10.1016/j.tcs.2011.05.010
URL : https://hal.archives-ouvertes.fr/hal-00654003

B. Meyer, Eiffel: The Language, 1991.

J. Bézivin, J. Hugobrunelì-ere, G. Cabot, F. Doux, J. Jouault et al., Model driven tool interoperability in practice, Proceedings of the 3rd Workshop on Model-Driven Tool & Process Integration, pp.62-72, 2010.

B. Shao, H. Wang, and Y. Li, The Trinity Graph Engine, 2012.

T. Blochwitz, M. Otter, M. Arnold, C. Bausch, C. Clauß et al., The Functional Mockup Interface for Tool independent Exchange of Simulation Models, Proceedings from the 8th International Modelica Conference, Technical Univeristy, Dresden, Germany, pp.20-22, 2011.
DOI : 10.3384/ecp11063105

D. Broman and J. G. Siek, Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages, 2012.

B. Ford, Parsing expression grammars: a recognition-based syntactic foundation, POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.111-122, 2004.

S. Burmester, H. Giese, J. Niere, M. Tichy, P. Jörg et al., Tool integration at the meta-model level: the Fujaba approach, International Journal on Software Tools for Technology Transfer, vol.42, issue.3, pp.203-218, 2004.
DOI : 10.1007/s10009-004-0155-8

A. Caracciolo, M. Lungu, and O. Nierstrasz, A Unified Approach to Architecture Conformance Checking, 2015 12th Working IEEE/IFIP Conference on Software Architecture, 2015.
DOI : 10.1109/WICSA.2015.11

N. Carriero and D. Gelernter, How to write parallel programs: a guide to the perplexed, ACM Computing Surveys, vol.21, issue.3, pp.323-357, 1989.
DOI : 10.1145/72551.72553

M. Clavreul, Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00646893

J. Benoit-combemale, M. Deantoni, F. Vara-larsen, O. Mallet, B. Barais et al., Reifying Concurrency for Executable Metamodeling, SLE -6th International Conference on Software Language Engineering, pp.365-384
DOI : 10.1007/978-3-319-02654-1_20

J. R. Cordy, The TXL source transformation language, Science of Computer Programming, vol.61, issue.3, pp.190-210, 2006.
DOI : 10.1016/j.scico.2006.04.002

J. Corley, H. Ergin, S. Van-mierlo, and E. Syriani, Modern Software Engineering Methodologies for Mobile and Cloud Environments, chapter Cloud-based Multi-View Modeling Environments, 2015.

D. Broman, C. X. Brooks, L. Greenberg, E. A. Lee, M. Masin et al., Determinate composition of FMUs for co-simulation, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-12, 2013.
DOI : 10.1109/EMSOFT.2013.6658580

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

S. Erdweg, P. G. Giarrusso, and T. Rendel, Language composition untangled, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA '12, pp.1-7
DOI : 10.1145/2427048.2427055

T. Erickson and W. A. Kellogg, Social translucence: an approach to designing systems that support social processes, ACM Transactions on Computer-Human Interaction, vol.7, issue.1, pp.59-83, 2000.
DOI : 10.1145/344949.345004

E. K. Jackson, E. Kang, M. Dahlweid, D. Seifert, and T. Santen, Components, platforms and possibilities, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.39-48, 2010.
DOI : 10.1145/1879021.1879027

M. Fowler, Language Workbenches: The Killer-App for Domain-Specific Languages, 2005.

F. Baader and T. Nipkow, Term Rewriting and All That, 1998.

R. Frost and J. Launchbury, Constructing Natural Language Interpreters in a Lazy Functional Language, The Computer Journal, vol.32, issue.2, pp.108-121, 1989.
DOI : 10.1093/comjnl/32.2.108

A. George, F. Papadopoulos, and . Arbab, Coordination Models and Languages, of Advances in Computers, pp.329-400, 1998.

C. Hardebolle and F. Boulanger, ModHel???X: A Component-Oriented Approach to Multi-Formalism Modeling, Models in Software Engineering, pp.247-258, 2008.
DOI : 10.1007/978-3-540-69073-3_26
URL : https://hal.archives-ouvertes.fr/hal-00554780

I. Kozine and L. V. Utkin, Interval-Valued Finite Markov Chains, Reliable Computing, vol.8, issue.2, pp.97-113, 2002.
DOI : 10.1023/A:1014745904458

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., A Modal Interface Theory for Component-based Design, Fundamenta Informaticae, vol.108, issue.12, pp.119-149, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00554283

G. Karsai, A. Lang, and S. Neema, Design patterns for open tool integration. Software & Systems Modeling, pp.157-170, 2005.

G. Kramler, G. Kappel, T. Reiter, E. Kapsammer, W. Retschitzegger et al., Towards a semantic infrastructure supporting model-based tool integration, Proceedings of the 2006 international workshop on Global integrated model management , GaMMa '06, pp.43-46, 2006.
DOI : 10.1145/1138304.1138314

C. Krause, M. Tichy, and H. Giese, Implementing Graph Transformations in the Bulk??Synchronous??Parallel Model, Fundamental Approaches to Software Engineering, pp.325-339, 2014.
DOI : 10.1007/978-3-642-54804-8_23

K. Chatterjee, K. Sen, and T. A. Henzinger, Model-Checking omega-Regular Properties of Interval Markov Chains, Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software Proceedings, volume 4962 of Lecture Notes in Computer Science, pp.302-317, 2008.

F. Kuhl, J. Dahmann, and R. Weatherly, Creating computer simulation systems: an introduction to the high level architecture, 2000.

E. Leblebici, A. Anjorin, and A. Schrr, Developing eMoflon with eMoflon, Theory and Practice of Model Transformations, pp.138-145, 2014.
DOI : 10.1007/978-3-319-08789-4_10

A. Ledeczi, P. Volgyesi, and G. Karsai, Metamodel composition in the generic modeling environment, Comm. at workshop on Adaptive Object-Models and Metamodeling Techniques, Ecoop, 2001.

C. L. Lennart, E. Kats, and . Visser, The Spoofax Language Workbench Rules for Declarative Specification of Languages and IDEs, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.444-463, 2010.

L. Luca-de-alfaro, M. Dias-da-silva, A. Faella, P. Legay, M. Roy et al., Sociable Interfaces, Proc. of the 5th International Workshop on Frontiers of Combining Systems (FroCos'05), pp.81-105, 2005.
DOI : 10.1007/11559306_5

L. De, A. , and T. A. Henzinger, Interface automata, Proc. of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'01), pp.109-120, 2001.

L. Renggli, T. G??rbag??rba, and O. Nierstrasz, Embedding Languages without Breaking Tools, Proceedings of the 24th European Conference on Object-Oriented Programming, pp.380-404, 2010.
DOI : 10.1007/978-3-642-14107-2_19

S. Abbes and A. Benveniste, True-concurrency probabilistic models: Markov nets and a law of large numbers, Theoretical Computer Science, vol.390, issue.2-3, pp.129-170, 2008.
DOI : 10.1016/j.tcs.2007.09.018
URL : https://hal.archives-ouvertes.fr/inria-00000465

I. Sander and A. Jantsch, System modeling and transformational design refinement in ForSyDe [formal system design]. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.23, issue.1, pp.17-32, 2004.

E. Scott, A. Johnstone, . Gll, and . Parsing, GLL Parsing, Electronic Notes in Theoretical Computer Science, vol.253, issue.7, pp.177-189, 2010.
DOI : 10.1016/j.entcs.2010.08.041
URL : https://hal.archives-ouvertes.fr/hal-00722878

M. Seyyed and . Shah, A Framework to Benchmark NoSQL Data Stores for Large- Scale Model Persistence, Proceedings of MODELS'14, pp.586-601, 2014.

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework 2.0, 2009.

E. Syriani, H. Vangheluwe, R. Mannadiar, C. Hansen, S. Van-mierlo et al., AToMPM: A Web-based Modeling Environment, MODELS'13: Invited Talks, Demos, Posters, and ACM SRC, 2013.

J. Sztipanovits, S. Bapty, . Neema, E. Howard, and . Jackson, OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems, From Programs to Systems ? The Systems Perspective in Computing (FPS 2014), 2014.
DOI : 10.1007/978-3-642-41533-3_29

M. Tomita, Efficient parsing for natural language: A fast algorithm for practical systems, 1985.
DOI : 10.1007/978-1-4757-1885-0

M. E. , V. Larsen, J. Deantoni, B. Combemale, and F. Mallet, A Behavioral Coordination Operator Language (BCOoL), ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (Models), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182773

G. Varró, K. Friedl, and D. Varró, Implementing a Graph Transformation Engine in Relational Databases, Software & Systems Modeling, vol.44, issue.2, pp.313-341, 2006.
DOI : 10.1007/s10270-006-0015-y

J. White, F. Odeh, A. L. Sangiovanni, A. Vincentelli, and . Ruehli, Waveform Relaxation, 1985.
DOI : 10.1007/978-1-4613-2271-9_4