1. Albert Benveniste , Benoît Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet , Philipp Reinkemeier , Alberto Sangiovanni-Vincentelli , Werner Damm , Tom Henzinger , and Kim Guldstrand Larsen . 2015. Contracts for Systems Design: Theory. Research Report [RR-8760]. Inria Rennes Bretagne Atlantique ; INRIA. 86 pages. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, and Kim Guldstrand Larsen. 2015. Contracts for Systems Design: Theory. Research Report [RR-8760]. Inria Rennes Bretagne Atlantique; INRIA. 86 pages.
2. Saartje Brockmans , Peter Haase , and Boris Motik . 2010. OWL 2 Web Ontology Language MOF-Based Metamodel ( Second Edition). World Wide Web Consortium . Retrieved May 2022 from https://www.w3.org/2007/OWL/wiki/MOF-Based_Metamodel Saartje Brockmans, Peter Haase, and Boris Motik. 2010. OWL 2 Web Ontology Language MOF-Based Metamodel (Second Edition). World Wide Web Consortium. Retrieved May 2022 from https://www.w3.org/2007/OWL/wiki/MOF-Based_Metamodel
3. Cognitum Services S.A. 2020. CogniPy for Pandas - In-memory Graph Database and Knowledge Graph with Natural Language Interface. Cognitum Software #House. Retrieved March 2022 from https://cognitum.eu/cognipy/ Cognitum Services S.A. 2020. CogniPy for Pandas - In-memory Graph Database and Knowledge Graph with Natural Language Interface. Cognitum Software #House. Retrieved March 2022 from https://cognitum.eu/cognipy/
4. István Dávid Joachim Denil and Hans Vangheluwe. 2015. Towards Inconsistency Management by Process-Oriented Dependency Modeling. (2015). https://www.researchgate.net/publication/308967849 István Dávid Joachim Denil and Hans Vangheluwe. 2015. Towards Inconsistency Management by Process-Oriented Dependency Modeling. (2015). https://www.researchgate.net/publication/308967849
5. Peter H Feiler , Bruce Lewis , Steve Vestal , and Ed Colbert . 2004 . An overview of the SAE architecture analysis & design language (AADL) standard: A basis for model-based architecture-driven embedded systems engineering . In IFIP World Computer Congress, TC 2. Springer, 3--15 . Peter H Feiler, Bruce Lewis, Steve Vestal, and Ed Colbert. 2004. An overview of the SAE architecture analysis & design language (AADL) standard: A basis for model-based architecture-driven embedded systems engineering. In IFIP World Computer Congress, TC 2. Springer, 3--15.