L. Alawneh and A. Hamou-lhadj, Execution traces: A new domain that requires the creation of a standard metamodel Advances in Software Engineering, 2009.

C. Baier and J. Katoen, Principles Of Model Checking

E. Bousse, B. Combemale, and B. Baudry, Scalable Armies of Model Clones through Data Sharing, MODELS, vol.2014, 2014.
DOI : 10.1007/978-3-319-11653-2_18

URL : https://hal.archives-ouvertes.fr/hal-01023681

X. Benoît-combemale, M. Crégut, and . Pantel, A Design Pattern to Build Executable DSMLs and associated V&V tools. The 19th Asia-Pacific Software Engineering Conference, 2012.

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

M. Leucker and C. 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

F. Mallet, Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, 2008.
DOI : 10.1007/s11334-008-0055-2

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. S. Khoo-yit-phang, M. Foster, and . Hicks, Expositor: Scriptable timetravel debugging with first-class traces, ICSE, vol.2013, 2013.