P. Mauborgne, S. Deniaud, E. Levrat, E. Bonjour, J. Mi-caã?lli et al., Preliminary Hazard Analysis Generation Integrated with Operational Architecture -Application to Automobile, Complex Systems Design & Management, pp.297-309, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01522860

P. Mauborgne, S. Deniaud, É. Levrat, É. Bonjour, J. Micaëlli et al., The determination of functional safety concept coupled with the definition of logical architecture: a framework of analysis from the automotive industry, IFAC-PapersOnLine, vol.50, issue.1, pp.7278-7283, 2017.

S. Kleiner and C. Kramer, Model based design with systems engineering based on rflp using v6, Smart Product Engineering, pp.93-102, 2013.

C. J. Paredis, Y. Bernard, R. M. Burkhart, H. De-koning, S. Friedenthal et al., An Overview of the SysML-Modelica Transformation Specification, INCOSE International Symposium, vol.20, pp.709-722, 2010.

W. Schamai, P. Fritzson, C. Paredis, and A. Pop, Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations, pp.612-621, 2009.

F. Mhenni, N. Nguyen, and J. Choley, SafeSysE: A Safety Analysis Integration in Systems Engineering Approach, IEEE Systems Journal, vol.12, pp.161-172, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02019808

C. Adourian and H. Vangheluwe, Consistency between geometric and dynamic views of a mechanical system, Proceedings of the 2007 summer computer simulation conference, p.31, 2007.

C. Guychard, S. Guerin, A. Koudri, A. Beugnard, and F. Dagnat, Conceptual interoperability through models federation, Semantic Information Federation Community Workshop, p.23, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00905036

K. Thramboulidis, The 3+1 SysML View-Model in Model Integrated Mechatronics, Journal of Software Engineering and Applications, vol.03, issue.02, pp.109-118, 2010.

J. Gausemeier, W. Schäfer, J. Greenyer, S. Kahl, S. Pook et al., Management of cross-domain model consistency during the development of advanced mechatronic systems, DS 58-6: Proceedings of ICED 09, the 17th International Conference on Engineering Design, vol.6, p.24, 2009.

K. Ruohonen, Graph theory. tampereen teknillinen yliopisto. originally titled graafiteoria, lecture notes translated by tamminen, j., lee, k, C. and Piché, R, 2013.

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.

R. Somkunwar and D. V. Vaze, Challenges and Issues of Graph and Subgraph Isomorphism, International Journal of Computer Technology Applications, vol.8, p.5, 2017.

J. R. Ullmann, An Algorithm for Subgraph Isomorphism, Journal of the ACM, vol.23, pp.31-42, 1976.

B. T. Messmer and H. Bunke, Subgraph isomorphism in polynomial time, 1995.

L. Cordella, P. Foggia, C. Sansone, and M. Vento, Performance evaluation of the VF graph matching algorithm, Proceedings 10th International Conference on Image Analysis and Processing, pp.1172-1177, 1999.

M. Asiler and A. Yaz?c?, BB-Graph: A new subgraph isomorphism algorithm for efficiently querying big graph databases, 2017.

A. Hagberg, D. Schult, and P. Swart, Networkx reference, release 2.1, 2018.

M. Mcharek, M. Hammadi, J. Choley, T. Azib, and C. Larouci, Modeling and multi-objective optimization of an electronic throttle in open-loop, 2016 11th France-Japan & 9th Europe-Asia Congress on Mechatronics (MECATRON-ICS)/17th International Conference on Research and Education in Mechatronics (REM), pp.331-335, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01589526

. Omg, OMG Systems Modeling Language (OMG SysML), 2012.

S. Friedenthal, A. Moore, and R. Steiner, A practical guide to SysML: the systems modeling language

M. Association, Modelica -A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4, 2017.

A. Association, AltaRica 3.0 Language Specification Version 1.1, 2017.

A. B. Rauzy, Guarded transition systems: A new states/events formalism for reliability studies, Proceedings of the Institution of Mechanical Engineers, vol.222, pp.495-505, 2008.

M. Batteux, T. Prosvirnova, and A. Rauzy, System Structure Modeling Language (S2ML) Language Specification-Version 1.0, p.53, 2015.