## 4 Proof of Concept Implementation
### Comparison Mechanism
(2019)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] Towards Model Synchronization in Model Driven Engineering of Mechatronic Systems. In Proceedings of the 2019 IEEE International Systems Engineering Symposium (ISSE), Edinburgh, UK, 3 October 2019; p. 8. * _OMG (2012)_ OMG. Systems Modeling Language (OMG SysML), Version 1.4. 2012. Available online: [[https://www.omg.org/spec/SysML/1.4/PDF](https://www.omg.org/spec/SysML/1.4/PDF)]([https://www.omg.org/spec/SysML/1.4/PDF](https://www.omg.org/spec/SysML/1.4/PDF)) (accessed on 26 December 2018). * _Modelica Association (2017)_ Modelica Association. Modelica--A Unified Object-Oriented Language for Systems Modeling, Language Specification Version 3.4. 2017. Available online: [[https://www.modelica.org/documents/ModelicaSpec34.pdf/view](https://www.modelica.org/documents/ModelicaSpec34.pdf/view)]([https://www.modelica.org/documents/ModelicaSpec34.pdf/view](https://www.modelica.org/documents/ModelicaSpec34.pdf/view)) (accessed on 24 April 2019). * _[PERSON] et al. (2015)_ [PERSON]; [PERSON] [PERSON]; [PERSON] System Structure Modeling Language (S2 ML). 2015. Available online: [[https://hal.archives-ouvertes.fr/hal-01234903/document](https://hal.archives-ouvertes.fr/hal-01234903/document)]([https://hal.archives-ouvertes.fr/hal-01234903/document](https://hal.archives-ouvertes.fr/hal-01234903/document)) (accessed on 18 January 2019). * _[PERSON] et al. (2016)_ [PERSON]; [PERSON]; [PERSON] [PERSON] Portfolios of subgraph isomorphism algorithms. In Proceedings of the International Conference on Learning and Intelligent Optimization, Ischia, Italy, 29 May-1 June 2016; pp. 107-122. * _[PERSON] (2006)_ [PERSON] _The State of the Art in Graph-Based Pattern Matching_; Technical report; Lawrence Livermore National Lab: Livermore, CA, USA, 2006. * _[PERSON] (1976)_ [PERSON] An algorithm for subgraph isomorphism. _JACM_**1976**, 23, 31-42. [CrossRef]
* _[PERSON] et al. (2001)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] An improved algorithm for matching large graphs. In Proceedings of the 3 rd IAPR-TC15 Workshop on Graph-Based Representations in Pattern Recognition, Ischia, Italy, 23-25 May 2001; pp. 149-159. * _[PERSON] et al. (2017)_ [PERSON]; [PERSON] BB-Graph: A Subgraph Isomorphism Algorithm for Efficiently Querying Big Graph Databases. _arXiv_ **2017**, arXiv:1706.06654. * [PERSON] (2009) [PERSON] _Eclipse Modeling Project: A Domain-Specific Language (DSL) toolkit_; Pearson Education: London, UK, 2009. * [PERSON] (2017) [PERSON] _CESAMES Systems Architecting Method: A Pocket Guide_; CESAMES: Paris, France, 2017. * _[PERSON] et al. (2020)_ [PERSON]; [PERSON]; [PERSON] NetworkX Reference. 2020. Available online: [[https://networkx.github.io/documentation/latest/downloads/networkx_reference.pdf](https://networkx.github.io/documentation/latest/downloads/networkx_reference.pdf)]([https://networkx.github.io/documentation/latest/downloads/networkx_reference.pdf](https://networkx.github.io/documentation/latest/downloads/networkx_reference.pdf)) (accessed on 7 May 2019). * YWorks (2014) YWorks. yEd Graph Editor. 2014. Available online: [[https://www.yworks.com/products/yed](https://www.yworks.com/products/yed)]([https://www.yworks.com/products/yed](https://www.yworks.com/products/yed)) (accessed on 13 June 2019). * _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] A review of electromechanical actuators for More/All Electric aircraft systems. _Proc. Inst. Mech. Eng. Part C J. Mech. Eng. Sci._**2018**, _232_, 4128-4151. [CrossRef]
* _[PERSON] et al. (2013)_ [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON]; [PERSON] The altarica 3.0 project for model-based safety assessment. _IFAC Proc. Vol._**2013**, _46_, 127-132. [CrossRef]
* _[PERSON] (2008)_ [PERSON] Guarded transition systems: a new states/events formalism for reliability studies. _Proc. Inst. Mech. Eng. Part O J. Risk Reliab._**2008**, _222_, 495-505. [CrossRef]
* _[PERSON] et al. (2007)_ [PERSON]; [PERSON]; International Council on Systems Engineering.