E. Bousse, J. Corley, B. Combemale, J. Gray, and &. Benoit-baudry, Supporting Efficient and Advanced Omniscient Debugging for xDSMLs, Proc. of SLE'15, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182517

E. Bousse, T. Mayerhofer, &. Benoit-combemale, and . Benoit-baudry, A Generative Approach to Define Rich Domain-Specific Trace Metamodels, 2015.
DOI : 10.1007/978-3-319-21151-0_4
URL : https://hal.archives-ouvertes.fr/hal-01154225

X. Benoit-combemale, P. Crégut, &. Garoche, and . Xavier-thirioux, Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification, Journal of Software, vol.4, issue.9, 2009.
DOI : 10.4304/jsw.4.9.943-958

J. Corley, B. P. Eddy, and &. Gray, Towards Efficient and Scalabale Omniscient Debugging for Model Transformations, Proceedings of the 14th Workshop on Domain-Specific Modeling, DSM '14, 2014.
DOI : 10.1145/2688447.2688450

J. Deantoni, P. Issa-diallo, and C. Teodorov, 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

T. Degueule, A. Benoit-combemale, O. Blouin, &. Barais, and . Jézéquel, Melange: A Meta-language for Modular and Reusable Development of DSLs, Proc. of SLE'15, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

C. Guy, B. Combemale, S. Derrien, R. Jim, &. Steel et al., On Model Subtyping, 2012.
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399

M. Leucker and &. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, 2009.
DOI : 10.1016/j.jlap.2008.08.004

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

T. Mayerhofer and &. Wimmer, The TTC 2015 Model Execution Case, 2015.

J. Tatibouët and A. Cuccuru, Formalizing Execution Semantics of UML Profiles with fUML Models, MODELS, pp.133-148, 2014.
DOI : 10.1007/978-3-319-11653-2_9