596 References [23] Object Management Group, Meta Object Facility Core Specification, available at http://www.omg.org/ spec/MOF/. [24] Modelica Association, Modelica Specification, available at https://www.modelica.org/documents. [25] IEEE Standard 1516, IEEE Standard for High Level Architecture, Institute for Electrical and Electronic Engineers. [26] Object Management Group, MOF 2.0/XMI Mapping XMI Metadata Interchange Specification, available at http://www.omg.org/spec/XMI/. [27] ISO TC-184 (Technical Committee on Industrial Automation Systems and Integration), SC4 (Subcom- mittee on Industrial Data Standards), ISO 10303-233 STEP AP233; available at http://www.ap233.org/ ap233-public-information. [28] Object Management Group, Model-Driven Architecture (MDA) Guide, v1.01, June 12, 2003; available at http://www.omg.org/mda/. [29] Object Management Group, The MDA Foundation Model, Draft, OMG document number ormsc /2010- 09-06, September, 2010. [30] Object Management Group, Query/View/Transformation, available at http://www.omg.org/spec/QVT/. [31] Wymore W. Model-Based Systems Engineering. Boca Raton, FL: CRC Press; 1993. [32] International Council on Systems Engineering (INCOSE), Systems Engineering Vision 2020, Version 2.03, TP-2004-004-02, September 2007. [33] Object Management Group, Object Constraint Language (OCL), available at http://www.omg.org/spec/ OCL/. [34] Object Management Group, OMG Certified Systems Modeling Professional (OCSMP), at http://www. omg.org/ocsmp/. [35] Object Management Group, UML for Systems Engineering RFP, OMG document number ad/03-03-41, March 28, 2003. [36] Object Management Group, Unified Modeling Language (OMG UML), available at http://www.omg.org/ spec/UML/. [37] Guizzardi G. On Ontology, Ontologies, Conceptualizations, Modeling Languages, and (Meta)Models. Proceeding of the 2007 conference on Databases and Information Systems IV, 2007. [38] Object Management Group, OMG SysMLÔ Requirements Traceability Matrix, OMG document number ptc/2007-03-09, March 2007. [39] Object Management Group, Semantics of a Foundational Subset for Executable UML Models (FUML), available at http://www.omg.org/spec/FUML/. [40] Haskins Cecilia, editor. INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities, v. 3.2.1, INCOSE-TP-2003-002-03.2.1. International Council on Systems Engineering; January 2011. [41] Peak R. et al. Georgia Tech response to "UML for Systems Engineering RFI", http://eislab.gatech.edu/ pubs/misc/2002-omg-se-dsig-rfi-1-response-peak/, May 2002. [42] Reisig, Wolfgang, A Primer in Petri Net Design. New York: Springer-Verlag. [43] Wagenhals Haider, Levis Synthesizing. Executable Models of Object Oriented Architectures. Journal of International Council of Systems Engineering 2003;6(4):266­300. [44] Bock Conrad. SysML and UML 2.0 Support for Activity Modeling. Journal of International Council of Systems Engineering 2006;9(2):160­86. [45] ISO TC-184 (Technical Committee on Industrial Automation Systems and Integration), ISO 18629 Process specification language (PSL). [46] Object Management Group, Action Language for Foundational UML (Alf), available at http://www.omg. org/spec/ALF/. [47] Cockburn Alistair. Writing Effective Use Cases. Boston: Addison-Wesley; 2000.