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.

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, vol.94104, 2011.

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

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. 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

S. Missaoui, F. Mhenni, J. Choley, and N. Nguyen, Verification and validation of the consistency between multi-domain system models, pp.1-7, 2018.

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

W. Schamai, P. Fritzson, C. Paredis, and A. Pop, Towards unified system modeling and simulation with modelicaml: Modeling of executable behavior using graphical notations, Proceedings of the 7th International Modelica Conference, 2009.

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