W. Afzal, H. Bruneliere, D. Di-ruscio, A. Sadovykh, S. Mazzini et al., The MegaM@Rt2 ECSEL project: MegaModelling at Runtime -Scalable model-based framework for continuous development and runtime validation of complex systems, MICPRO, vol.61, pp.86-95, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01810002

J. , The B-book -assigning programs to meanings, 2005.

D. Arcelli, V. Cortellessa, D. D. Pompeo, R. Eramo, and M. Tucci, Exploiting Architecture/Runtime Model-driven Traceability for Performance Improvement, ICSA, 2019.

L. Addazi, F. Ciccozzi, P. Langer, and E. Posse, Towards seamless hybrid graphical-textual modelling for uml and profiles, Modelling Foundations and Applications, pp.20-33, 2017.

R. Agrawal, D. Gunopulos, and F. Leymann, Mining Process Models from Workflow logs, EDBT, pp.467-483, 1998.

N. Aizenbud-reshef, B. T. Nolan, J. Rubin, and Y. Shaham-gafni, Model Traceability. IBM Systems Journal, vol.45, issue.3, pp.515-526, 2006.

P. Arcaini, E. Riccobene, and P. Scandurra, Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation, Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.13-23, 2015.

H. Bruneliere, E. Burger, J. Cabot, and M. Wimmer, A Feature-based Survey of Model View Approaches. SoSyM, pp.1-22, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01590674

H. Bruneliere, J. Cabot, G. Dupé, and F. Madiot, MoDisco: A Model Driven Reverse Engineering Framework, JIST, vol.56, issue.8, pp.1012-1032, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00972632

H. Bruneliere, R. Eramo, A. Gomez, V. Besnard, J. M. Bruel et al., Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap -Report on the MDE@DeRun 2018 workshop, Proc. of STAF 2018 Collocated Workshops, 2018.

H. Bruneliere, F. Marchand-de-kerchove, G. Daniel, and J. Cabot, Towards Scalable Model Views on Heterogeneous Model Resources, MODELS, pp.334-344, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01845976

N. Boccara, Modeling Complex Systems. Graduate Texts in Comtemporary Physics, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00126264

H. Bruneliere, J. G. Perez, M. Wimmer, and J. Cabot, EMF Views: A View Mechanism for Integrating Heterogeneous Models, ER, pp.317-325, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01159205

A. Cicchetti, D. Di-ruscio, R. Eramo, and A. Pierantonio, JTL: A bidirectional and change propagating transformation language, SLE Proc, pp.183-202, 2010.

, Common Trace Format

M. D. Del-fabro and P. Valduriez, Towards the Efficient Development of Model Transformations Using Model Weaving and Matching Transformations, SoSyM, vol.8, issue.3, pp.305-324, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00483446

N. Drivalos, D. S. Kolovos, R. F. Paige, and K. J. Fernandes, Engineering a DSL for Software Traceability, SLE Proc, pp.151-167, 2008.

P. Derler, E. A. Lee, and A. S. Vincentelli, Modeling Cyber-Physical Systems, Proc. of the IEEE, vol.100, pp.13-28, 2012.

D. Drusinsky, Modeling and Verification using UML Statecharts: a Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking, 2011.

M. Eysholdt and H. Behrens, Xtext: implement your language faster than the quick and dirty way, SPLASH/OOPSLA, pp.307-309, 2010.

R. Eramo, A. Pierantonio, and M. Tucci, Enhancing the JTL tool for bidirectional transformations, Conf. Companion of Programming, pp.36-41, 2018.

F. Jouault, B. Vanhooff, H. Bruneliere, G. Doux, Y. Berbers et al., Inter-DSL Coordination Support by Combining Megamodeling and Model Weaving, SIGAPP, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00534353

D. S. Kolovos, Establishing Correspondences between Models with the Epsilon Comparison Language, ECMDA-FA, pp.146-157, 2009.

T. Lecomte, L. Burdy, and M. Leuschel, Formally checking large data sets in the railways, DS-Event-B Workshop, 2012.

G. Lehmann, M. Blumendorf, F. Trollmann, and S. Albayrak, Metamodeling Runtime Models, MODELS, pp.209-223, 2010.

T. Lecomte, D. Déharbe, É. Prun, and E. Mottin, Applying a formal method in industry: A 25-year trajectory, SBMF, pp.70-87, 2017.

N. Mitchell, G. Sevitsky, and H. Srinivasan, Modeling Runtime Behavior in Framework-based Applications, ECOOP, pp.429-451, 2006.

R. F. Paige, N. Drivalos, D. S. Kolovos, K. J. Fernandes, C. Power et al., Rigorous identification and encoding of trace-links in model-driven engineering, SOSYM, vol.10, issue.4, pp.469-487, 2011.

R. F. Paige, D. S. Kolovos, L. M. Rose, N. Drivalos, and F. A. , Polack. The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering, IEEE ICECCS 2009, pp.162-171, 2009.

D. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.

S. Walderhaug, U. Johansen, E. Stav, and J. , Towards a Generic Solution for Traceability in MDD, ECMDA Traceability Workshop (ECMDA-TW), pp.41-50, 2006.