S. Gabmeyer, P. Kaufmann, M. Seidl, M. Gogolla, and G. Kappel, A feature-based classification of formal verification techniques for software models Available: https, Software & Systems Modeling, 2017.

F. Hilken, M. Gogolla, L. Burgueño, and A. Vallecillo, Testing models and model transformations using classifying terms Software & Systems Modeling Available: https://doi.org/10, pp.10270-10286, 1007.
DOI : 10.1007/s10270-016-0568-3

K. Zurowska and J. Dingel, Language-specific model checking of UML-RT models Software & Systems Modeling Available: https, pp.393-415, 2017.
DOI : 10.1007/s10270-015-0484-y

E. Planas, J. Cabot, and C. Gómez, Lightweight and static verification of UML executable models, Computer Languages, Systems & Structures, vol.46, pp.66-90, 2016.
DOI : 10.1016/j.cl.2016.07.002

P. A. Kidwell, Stalking the elusive computer bug, IEEE Annals of the History of Computing, vol.20, issue.4, pp.3-7, 1998.
DOI : 10.1109/85.728224

A. Zeller, Why Program Fail ? 1st Edition, 2004.

N. Bandener, C. Soltenborn, and G. Engels, Extending DMM Behavior Specifications for Visual Execution and Debugging, Proceedings of the Third International Conference on Software Language Engineering (SLE'10), pp.357-376, 2010.
DOI : 10.1007/978-3-540-69100-6_5

T. Mayerhofer, P. Langer, and G. Kappel, A runtime model for fUML, Proceedings of the 7th Workshop on Models@run.time, MRT '12, pp.53-58, 2012.
DOI : 10.1145/2422518.2422527

S. Van-mierlo, Y. Van-tendeloo, and H. Vangheluwe, Debugging Parallel DEVS, SIMULATION, vol.44, issue.4, pp.285-306, 2017.
DOI : 10.1007/s10270-011-0205-0

J. Schönböck, G. Kappel, M. Wimmer, A. Kusel, W. Retschitzegger et al., TETRABox - A Generic White-Box Testing Framework for Model Transformations, 2013 20th Asia-Pacific Software Engineering Conference (APSEC), pp.75-82, 2013.
DOI : 10.1109/APSEC.2013.21

A. Blouin, B. Combemale, B. Baudry, O. Beaudoux, E. Bousse et al., Kompren: Modeling and Generating Model Slicers Software and Systems Modeling Available: http://hal.inria.fr/hal-00746566 Supporting Efficient and Advanced Omniscient Debugging for xDSMLs, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, ser. SLE 2015, pp.137-148, 2012.
DOI : 10.1007/s10270-012-0300-x

J. Corley, B. P. Eddy, E. Syriani, and J. Gray, Efficient and scalable omniscient debugging for model transformations, Software Quality Journal, vol.16, issue.9, pp.1-42, 2016.
DOI : 10.1145/362342.362360

R. Van-rozen, T. Van, and . Storm, Toward live domain-specific languages, Software & Systems Modeling, 2017.
DOI : 10.1002/spe.4380210706

B. Combemale, X. Crégut, P. Garoche, and X. 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
URL : https://hal.archives-ouvertes.fr/hal-00371553

H. Wu, J. Gray, and M. Mernik, Grammar???driven generation of domain???specific language debuggers, Software: Practice and Experience, pp.1073-1103, 2008.
DOI : 10.1049/ip-sen:20041317
URL : http://www.cis.uab.edu/gray/pubs/hui-wu-thesis-2007.pdf

S. Mustafiz and H. Vangheluwe, Explicit modelling of statechart simulation environments Simulation Conference, ser. SCSC '13. Vista, CA: Society for Modeling & Simulation International, Proceedings of the 2013 Summer Computer, pp.1-21, 2013.

Y. Laurent, R. Bendraou, and M. Gervais, Executing and debugging UML models, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1095-1102, 2013.
DOI : 10.1145/2480362.2480569
URL : https://hal.archives-ouvertes.fr/hal-01088175

J. Denil, H. Kashif, P. Arafa, H. Vangheluwe, and S. Fischmeister, Instrumentation and preservation of extra-functional properties of simulink models, Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, ser. DEVS '15, pp.47-54, 2015.

A. Krasnogolowy, S. Hildebrandt, and S. Wlitzoldt, Flexible debugging of behavior models, 2012 IEEE International Conference on Industrial Technology, pp.331-336, 2012.
DOI : 10.1109/ICIT.2012.6209959

A. Chi¸schi¸s, M. Denker, T. Gîrba, and O. Nierstrasz, Practical domainspecific debuggers using the moldable debugger framework, Comput. Lang. Syst. Struct, vol.44, pp.89-113, 2015.

R. T. Lindeman, L. C. Kats, and E. Visser, Declaratively defining domain-specific language debuggers, Proceedings of the 10th ACM international conference on Generative programming and component engineering, GPCE '11, pp.127-136, 2012.
DOI : 10.1145/2047862.2047885

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. Jézéquel, Melange: A meta-language for modular and reusable development of DSLs, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, ser. SLE 2015, pp.25-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

M. Churchill, P. D. Mosses, N. Sculthorpe, P. Torrini, S. Chiba et al., Reusable components of semantic specifications Available: https, Transactions on Aspect-Oriented Software Development XII, pp.132-179978

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution framework of the GEMOC studio (tool demo), Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2016, pp.84-89, 2016.
DOI : 10.1007/s10270-013-0354-4
URL : https://hal.archives-ouvertes.fr/hal-01355391