M. Abadi and L. Cardelli, A Theory of Objects, 1998.

M. Batteux, T. Prosvirnova, and A. , Rauzy: From models of structures to structures of models, 4th IEEE International Symposium on Systems Engineering, 2018.

M. Batteux, T. Prosvirnova, and A. , Rauzy: Altarica 3.0 in 10 modeling patterns, International Journal of Critical Computer-Based Systems (IJCCBS), vol.9, p.133, 2019.

M. B. Batteux, T. Prosvirnova, A. Rauzy, and L. Yang, Reliability assessment of phased-mission systems with AltaRica 3.0, 3rd International Conference on System Reliability and Safety (ICSRS 2018), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01945908

M. Bouissou and J. Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean Logic Driven Markov Processes, Reliability Engineering and System Safety, vol.82, pp.149-163, 2003.

P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixpoints, Proceedings of the 4 th ACM-Sigplan Symposium on Principles of Programming Languages, POPL'77, pp.238-252, 1977.

S. Friedenthal, A. Moore, and R. Steiner, A Practical Guide to SysML: The Systems Modeling Language, vol.94104, 2011.

P. Fritzson, Principles of ObjectOriented Modeling and Simulation with Modelica 3.3: A CyberPhysical Approach, 2015.

F. Hermann, H. Ehrig, F. Orejas, K. Czarnecki, Z. Diskin et al., Model synchronization based on triple graph grammars: Correctness, completeness and invertibility, Softw. Syst. Model, vol.14, issue.1, pp.241-269, 2015.

H. Klee and R. Allen, Simulation of Dynamic Systems with MATLAB and Simulink, 2011.

D. Krob, CESAM: CESAMES Systems Architecting Method: A Pocket Guide, CESAMES, 2017.

P. Mauborgne, S. Deniaud, E. Levrat, E. Bonjour, J. P. Micaëlli et al., Operational and system hazard analysis in a safe systems requirement engineering process application to automotive industry, Safety Science, vol.87, pp.256-268, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01321071

J. Noble, A. Taivalsaari, and I. Moore, Prototype-Based Programming: Concepts, Languages and Applications, 1999.

B. C. Pierce, Basic Category Theory of Computer Scientists. Foundations of Computing, 1991.

A. Rauzy and C. Haskins, Foundations for model-based systems engineering and model-based safety assessment, Journal of Systems Engineering, 2018.

P. Roques, MBSE with the ARCADIA Method and the Capella Tool, 8th European Congress on Embedded Real Time Software and Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01258014

F. Toulouse, , 2016.

M. Stephan and J. R. Cordy, A survey of model comparison approaches and applications, MODELSWARD 2013 -Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, pp.265-277, 2013.

N. Yakymets, Y. M. Julho, and A. Lanusse, Sophia framework for model-based safety analysis, Actes du congrès Lambda-Mu 19 (actesélectroniques). Institut pour la Maîtrise des Risques, 2014.
URL : https://hal.archives-ouvertes.fr/cea-01810452