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

F. Latombe, X. Crégut, J. Deantoni, M. Pantel, and B. Combemale, Coping with Semantic Variation Points in Domain-Specific Modeling Languages, EXE 2015, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01222999

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, 2015.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, 1989.
DOI : 10.1109/5.24143

G. A. Agha, Actors: A model of concurrent computation in distributed systems, DTIC Document, Tech. Rep, 1985.

V. Pratt, Modeling concurrency with partial orders, International Journal of Parallel Programming, vol.25, issue.49, pp.33-71, 1986.
DOI : 10.1007/BF01379149
URL : http://boole.stanford.edu/pub/ijpp.pdf

J. Deantoni and F. Mallet, ECL: the event constraint language, an extension of OCL with events, Inria, Tech. Rep, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00721169

G. D. Plotkin, The origins of Structural Operational Semantics, The Journal of Logic and Algebraic Programming, 2004.

S. Tasharofi, P. Dinges, and R. E. Johnson, Why Do Scala Developers Mix the Actor Model with other Concurrency Models?, ECOOP 2013, 2013.
DOI : 10.1007/978-3-642-39038-8_13

F. Mallet and R. Simone, Correctness issues on MARTE/CCSL constraints, Science of Computer Programming, vol.106, pp.78-92, 2015.
DOI : 10.1016/j.scico.2015.03.001
URL : https://hal.archives-ouvertes.fr/hal-01257978

. Diverse-team, Github for k3al Available: http://github.com/diverse-project, 2016.

J. Deantoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015.
DOI : 10.7873/DATE.2015.1052
URL : https://hal.archives-ouvertes.fr/hal-01087442

. Language-workbenches-challenge, Comparing tools of the trade, 2014.

M. Voelter and V. Pech, Language modularity with the MPS language workbench, 2012 34th International Conference on Software Engineering (ICSE), 2012.
DOI : 10.1109/ICSE.2012.6227070

T. Van-der and . Storm, The Rascal Language Workbench, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00645985

L. C. Kats and E. Visser, The spoofax language workbench: rules for declarative specification of languages and ides, ACM Sigplan Notices, 2010.

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, xMOF: Executable DSMLs Based on fUML, SLE, 2013.
DOI : 10.1007/978-3-319-02654-1_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.686.988

G. Rosu and T. F. Serbanuta, K overview and simple case study, Proceedings of International K Workshop, p.2014

M. Nielsen, Models for concurrency, Mathematical Foundations of Computer Science, 1991.
DOI : 10.1007/3-540-54345-7_47

E. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions, 1998.

M. Nielsen, V. Sassone, and G. Winskel, Relationships between models of concurrency, 1994.
DOI : 10.1007/3-540-58043-3_25

C. Ptolemaeus, System Design, Modeling, and Simulation: Using Ptolemy II

B. Selic, An architectural pattern for real-time control software, Workshop on Frameworks and Architectures, PLoP Conference, 1996.

F. Zalila, X. Crégut, and M. Pantel, A Transformation-Driven Approach to Automate Feedback Verification Results, Model and Data Engineering, pp.266-277, 2013.
DOI : 10.1007/978-3-642-41366-7_23
URL : https://hal.archives-ouvertes.fr/hal-01231772