R. Bendraou, X. Benoit-combemale, M. Crégut, and . Gervais, Definition of an eXecutable SPEM2.0, 14th APSEC, Japan, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00371555

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

B. Berthomieu, F. Peres, and F. Vernadat, Model Checking Bounded Prioritized Time Petri Nets, ATVA, pp.523-532, 2007.
DOI : 10.1007/978-3-540-75596-8_37
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.6023

E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-guided abstraction refinement, Proceedings of Computer Aided Verification, CAV, pp.154-169, 2000.
DOI : 10.1109/time.2003.1214874
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.407

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

G. Csertán, G. Huszerl, I. Majzik, and Z. Pap, András Pataricza , and Dániel Varró. VIATRA -visual automated transformations for formal verification and validation of UML models, ASE, pp.267-270, 2002.

H. Foster, S. Uchitel, J. Magee, and J. Kramer, WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography, Proc. Int. of Test and Analysis of Web Services, pp.87-119, 2007.
DOI : 10.1007/978-3-540-72912-9_4

E. Guerra, J. De-lara, A. Malizia, and P. Dâ´az, Supporting user-oriented analysis for multi-view domain-specific visual languages, Information and Software Technology, vol.51, issue.4, pp.769-784, 2009.
DOI : 10.1016/j.infsof.2008.09.005

A. Hegedüs, . Bergmann, D. Ráth, and . Varró, Back-annotation of Simulation Traces with Change-Driven Model Transformations, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010.
DOI : 10.1109/SEFM.2010.28

J. Moe and D. A. Carr, Understanding distributed systems via execution trace data, Proceedings of the 9th International Workshop on Program Comprehension IWPC'01, 2001.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings of the 8th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS), INRIA volume, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

A. Pnueli, M. Siegel, and E. Singerman, Translation validation, pp.151-166, 1998.
DOI : 10.1007/BFb0054170

J. Eduardo-rivera, C. Vicente-chicote, and A. Vallecillo, Extending visual modeling languages with timed behavior specifications, CIbSE, pp.87-100, 2009.