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.
URL : https://hal.archives-ouvertes.fr/hal-01885900

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.
URL : https://hal.archives-ouvertes.fr/hal-02063678

P. David, V. Idasiak, and F. Kratz, Reliability study of complex physical systems using sysml, Reliability Engineering & System Safety, vol.95, issue.4, pp.431-450, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00528802

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

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

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.

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

A. Legendre, A. Lanusse, and A. Rauzy, Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts, Proceedings of the 5th International Symposium, vol.10437, pp.35-49, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01590709

P. Mauborgne, S. Deniaud, E. Levrat, E. Bonjour, J. 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

S. Missaoui, F. Mhenni, J. Choley, and N. Nguyen, Verification and validation of the consistency between multi-domain system models, 2018 Annual IEEE International Systems Conference (SysCon), pp.1-7, 2018.

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

T. Prosvirnova, E. Saez, C. Seguin, and P. Virelizier, Handling consistency between safety and system models, IMBSA 2017 (International Symposium on Model-Based and Assessment), pp.19-34, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01731393

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. Munoz-julho, and A. Lanusse, Sophia framework for model-based safety analysis, In Actes du congrès Lambda-Mu, vol.19, 2014.
URL : https://hal.archives-ouvertes.fr/cea-01810452