{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:20:09Z","timestamp":1781108409975,"version":"3.54.1"},"reference-count":243,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T00:00:00Z","timestamp":1710460800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"AIDOaRt project, an ECSEL Joint Undertaking","award":["101007350"],"award-info":[{"award-number":["101007350"]}]},{"name":"SACSys Synergy project, an initiative of the Swedish Knowledge Foundation"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2024,3,31]]},"abstract":"<jats:p>In the Systems Engineering (SE) domain there has been a paradigm shift from document-based to model-based system development artefacts; in fact, new methodologies are emerging to meet the increasing complexity of current systems and the corresponding growing need of digital workflows. In this regard, Model-Based Systems Engineering (MBSE) is considered as a key enabler by many central players of the SE community. MBSE has reached an adequate level of maturity, and there exist documented success stories in its adoption in industry. In particular, one significant benefit of utilising MBSE when compared to the traditional manual and document-centric workflows is that models are available from early phases of systems development; these enable a multitude of analyses prior any implementation effort together with other relevant capabilities, like the automation of development tasks. Nonetheless, it is noticeable there is a lack of a common understanding for how formal analyses for the verification and validation (V&amp;V) of systems behaviour, specifically in the early phases of development, could be placed in an MBSE setting.<\/jats:p>\n          <jats:p>\n            In this article, we report on the planning, execution, and results of a systematic literature review regarding the early V&amp;V of systems behaviour in the context of model-based systems engineering. The review aims to provide a structured representation of the state of the art with respect to motivations, proposed solutions, and limitations. From an initial set of potentially relevant 701 peer-reviewed publications we selected 149 primary studies, which we analysed according to a rigorous data extraction, analysis, and synthesis process. Based on our results, early V&amp;V has usually the goal of checking the quality of a system design to avoid discovering flaws when parts are being concretely realised; SysML is a\n            <jats:italic>de facto<\/jats:italic>\n            standard for describing the system under study, while the solutions for the analyses tend to be varied; also V&amp;V analyses tend to target varied properties with a slight predominance of functional concerns, and following the variation mentioned so far the proposed solutions are largely context specific; the proposed approaches are usually presented without explicit limitations, while when limitations are discussed, readiness of the solutions, handling of analyses simplifications\/assumptions, and languages\/tools integration are among the most frequently mentioned issues.\n          <\/jats:p>\n          <jats:p>Based on the survey results and the standard SE practices, we discuss how the current state-of-the-art MBSE supports early V&amp;V of systems behaviour with a special focus on industrial adoption and identify relevant challenges to be researched further.<\/jats:p>","DOI":"10.1145\/3631976","type":"journal-article","created":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T12:16:33Z","timestamp":1699359393000},"page":"1-67","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review"],"prefix":"10.1145","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2021-8341","authenticated-orcid":false,"given":"Johan","family":"Cederbladh","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4stmanland, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0416-1787","authenticated-orcid":false,"given":"Antonio","family":"Cicchetti","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4stmanland, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7488-4249","authenticated-orcid":false,"given":"Jagadish","family":"Suryadevara","sequence":"additional","affiliation":[{"name":"Volvo Construction Equipment, S\u00f6dermanland, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,3,15]]},"reference":[{"key":"e_1_3_4_2_2","doi-asserted-by":"publisher","unstructured":"Weikai Miao Qianqian Yan Yihao Huang Jincao Feng and Hanyue Zheng. 2019. A domain experts centric approach to formal requirements modeling and V&V of embedded control software. In Proceedings of the IEEE Asia-Pacific Conference on Software Engineering 15\u201322. DOI:10.1109\/APSEC48747.2019.00012","DOI":"10.1109\/APSEC48747.2019.00012"},{"key":"e_1_3_4_3_2","doi-asserted-by":"publisher","unstructured":"Shaofan Zhu Jian Tang Jean-Marie Gauthier and Rapha\u00ebl Faudou. 2019. A formal approach using SysML for capturing functional requirements in avionics domain. Chin. J. Aeronaut. 32 12 (2019) 2717\u20132726. DOI:10.1016\/j.cja.2019.03.037","DOI":"10.1016\/j.cja.2019.03.037"},{"key":"e_1_3_4_4_2","doi-asserted-by":"publisher","unstructured":"Tom Mens Alexandre Decan and Nikolaos I. Spanoudakis. 2019. A method for testing and validating executable statechart models. Softw. Syst. Model. 18 2 (2019) 837\u2013863. DOI:10.1007\/s10270-018-0676-3","DOI":"10.1007\/s10270-018-0676-3"},{"key":"e_1_3_4_5_2","doi-asserted-by":"publisher","unstructured":"Eun-Young Kang Eduard Paul Enoiu Raluca Marinescu Cristina Seceleanu Pierre-Yves Schobbens and Paul Pettersson. 2013. A methodology for formal analysis and verification of EAST-ADL models. Reliabil. Eng. Syst. Safety 120 (2013) 127\u2013138. DOI:10.1016\/j.ress.2013.06.007","DOI":"10.1016\/j.ress.2013.06.007"},{"key":"e_1_3_4_6_2","doi-asserted-by":"publisher","unstructured":"Ermeson Andrade Paulo Maciel Gustavo Callou and Bruno Nogueira. 2009. A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In Proceedings of the IEEE International Conference on the Digital Society 266\u2013271. DOI:10.1109\/ICDS.2009.19","DOI":"10.1109\/ICDS.2009.19"},{"key":"e_1_3_4_7_2","doi-asserted-by":"publisher","unstructured":"Messaoud Rahim Ahmed Hammad and Malika Ioualalen. 2017. A methodology for verifying SysML requirements using activity diagrams. Innov. Syst. Softw. Eng. 13 1 (2017) 19\u201333. DOI:10.1007\/s11334-016-0281-y","DOI":"10.1007\/s11334-016-0281-y"},{"key":"e_1_3_4_8_2","unstructured":"Alfredo Garro and Andrea Tundis. 2012. A model-based method for system reliability analysis. In Proceedings of the Symposium on Theory of Modeling and Simulation and DEVS Integrative M&S Symposium (TMS\/DEVS\u201912)."},{"key":"e_1_3_4_9_2","doi-asserted-by":"publisher","unstructured":"Gan Wang and Saulius Pavalkis. 2019. A model-based V&V test strategy based on emerging system modeling techniques. In Proceedings of the INCOSE Annual International Symposium 771\u2013787. DOI:10.1002\/j.2334-5837.2019.00634.x","DOI":"10.1002\/j.2334-5837.2019.00634.x"},{"key":"e_1_3_4_10_2","doi-asserted-by":"publisher","unstructured":"Faleeha Moin Farooque Azam and Muhammad Waseem Anwar. 2018. A model-driven approach for formal verification of embedded systems using timed colored petri nets. In Proceedings of the IEEE International Conference on Computer and Communications (ICCC\u201918) 2580\u20132584. DOI:10.1109\/CompComm.2018.8780731","DOI":"10.1109\/CompComm.2018.8780731"},{"key":"e_1_3_4_11_2","doi-asserted-by":"publisher","unstructured":"Paolo Bocciarelli Andrea D\u2019Ambrogio Alberto Falcone Alfredo Garro and Andrea Giglio. 2019. A model-driven approach to enable the simulation of complex systems on distributed architectures. Simulation 95 12 (2019) 1185\u20131211. DOI:10.1177\/0037549719829828","DOI":"10.1177\/0037549719829828"},{"key":"e_1_3_4_12_2","doi-asserted-by":"publisher","unstructured":"M. W. Anwar M. Rashid F. Azam M. Kashif and W. H. Butt. 2019. A model-driven framework for design and verification of embedded systems through SystemVerilog. Des. Autom. Embed. Syst. 23 3\u20134 (2019) 179\u2013223. DOI:10.1007\/s10617-019-09229-y","DOI":"10.1007\/s10617-019-09229-y"},{"key":"e_1_3_4_13_2","doi-asserted-by":"publisher","unstructured":"Fa\u00efda Mhenni Jean-Yves Choley Olivia Penas R\u00e9gis Plateaux and Moncef Hammadi. 2014. A SysML-based methodology for mechatronic systems architectural design. Adv. Eng. Inform. 28 3 (2014) 218\u2013231. DOI:10.1016\/j.aei.2014.03.006","DOI":"10.1016\/j.aei.2014.03.006"},{"key":"e_1_3_4_14_2","doi-asserted-by":"publisher","unstructured":"L. Alawneh M. Debbabi F. Hassaine Y. Jarraya and A. Soeanu. 2006. A unified approach for verification and validation of systems and software engineering models. In Proceedings of the IEEE International Conference and Workshop on Engineering of Computer-Based Systems. DOI:10.1109\/ECBS.2006.17","DOI":"10.1109\/ECBS.2006.17"},{"key":"e_1_3_4_15_2","doi-asserted-by":"publisher","unstructured":"Muhammad Waseem Anwar Muhammad Rashid Farooque Azam Aamir Naeem Muhammad Kashif and Wasi Haider Butt. 2020. A unified model-based framework for the simplified execution of static and dynamic assertion-based verification. IEEE Access 8 (2020) 104407\u2013104431. DOI:10.1109\/ACCESS.2020.2999544","DOI":"10.1109\/ACCESS.2020.2999544"},{"key":"e_1_3_4_16_2","doi-asserted-by":"crossref","unstructured":"R\u00e9mi A. Delmas Fernandes Pires and Thomas Polacsek. 2013. A verification and validation process for model-driven engineering. Progress in Flight Dynamics Guidance Navigation Control Fault Detection and Avionics 6 (2013) 455--468.","DOI":"10.1051\/eucass\/201306455"},{"key":"e_1_3_4_17_2","doi-asserted-by":"publisher","unstructured":"Jing Liu Tengfei Li Zuohua Ding Yuqing Qian Haiying Sun and Jifeng He. 2019. AADL+: A simulation-based methodology for cyber-physical systems. Front. Comput. Sci. 13 3 (2019) 516\u2013538. DOI:10.1007\/s11704-018-7039-7","DOI":"10.1007\/s11704-018-7039-7"},{"key":"e_1_3_4_18_2","doi-asserted-by":"publisher","unstructured":"Danielle Stewart Jing (Janet) Liu Darren Cofer Mats Heimdahl Michael W. Whalen and Michael Peterson. 2021. AADL-Based safety analysis using formal methods applied to aircraft digital systems. Reliabil. Eng. Syst. Safe. 213 (2021) 107649. DOI:10.1016\/j.ress.2021.107649","DOI":"10.1016\/j.ress.2021.107649"},{"key":"e_1_3_4_19_2","doi-asserted-by":"publisher","unstructured":"Stefan Bj\u00f6rnander Cristina Seceleanu Kristina Lundqvist and Paul Pettersson. 2011. ABV\u2014A verifier for the architecture analysis and design language (AADL). In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems 355\u2013360. DOI:10.1109\/ICECCS.2011.43","DOI":"10.1109\/ICECCS.2011.43"},{"key":"e_1_3_4_20_2","doi-asserted-by":"publisher","unstructured":"Ana Rugina Cristiano Leorato and Elena Tremolizzo. 2012. Advanced validation of overall spacecraft behaviour concept using a collaborative modelling and simulation approach. In Proceedings of the IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE\u201912) 262\u2013267. DOI:10.1109\/WETICE.2012.37","DOI":"10.1109\/WETICE.2012.37"},{"key":"e_1_3_4_21_2","doi-asserted-by":"publisher","unstructured":"Erwan Bousse David Mentr\u00e9 Beno\u00eet Combemale Beno\u00eet Baudry and Takaya Katsuragi. 2012. Proceedings of the Workshop on Model-Driven Engineering Verification and Validation (MoDeVVa'12) Association for Computing Machinery 11--16. DOI:10.1145\/2427376.2427379","DOI":"10.1145\/2427376.2427379"},{"key":"e_1_3_4_22_2","doi-asserted-by":"crossref","unstructured":"Michel Batteux Tatiana Prosvirnova and Antoine B. Rauzy. 2019. AltaRica 3.0 in ten modelling patterns. Int. J. Crit. Comput.-Bas. Syst. 9 1\u20132 (2019) 133\u2013165.","DOI":"10.1504\/IJCCBS.2019.098809"},{"key":"e_1_3_4_23_2","doi-asserted-by":"publisher","unstructured":"Aurelijus Morkevicius and Nerijus Jankevicius. 2015. An approach: SysML-based automated requirements verification. In Proceedings of the IEEE International Symposium on Systems Engineering (ISSE\u201915) 92\u201397. DOI:10.1109\/SysEng.2015.7302739","DOI":"10.1109\/SysEng.2015.7302739"},{"key":"e_1_3_4_24_2","doi-asserted-by":"publisher","unstructured":"Eamonn Linehan and Siobh\u00e1n Clarke. 2012. An aspect-oriented model-driven approach to functional hardware verification. J. Syst. Arch. 58 5 (2012) 195\u2013208. DOI:10.1016\/j.sysarc.2011.02.001","DOI":"10.1016\/j.sysarc.2011.02.001"},{"key":"e_1_3_4_25_2","doi-asserted-by":"publisher","unstructured":"Nissaf Fredj Yessine Hadj Kacem and Mohamed Abid. 2021. An event-based approach for formally verifying runtime adaptive real-time systems. J. Supercomput. 77 3 (2021) 3110\u20133143. DOI:10.1007\/s11227-020-03386-9","DOI":"10.1007\/s11227-020-03386-9"},{"key":"e_1_3_4_26_2","doi-asserted-by":"publisher","unstructured":"Lucas Lima Alvaro Miyazawa Ana Cavalcanti M\u00e1rcio Corn\u00e9lio Juliano Iyoda Augusto Sampaio Ralph Hains Adrian Larkham and Vaughan Lewis. 2017. An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16 3 (2017) 875\u2013902. DOI:10.1007\/s10270-015-0492-y","DOI":"10.1007\/s10270-015-0492-y"},{"key":"e_1_3_4_27_2","doi-asserted-by":"crossref","unstructured":"J. Markovski. 2013. An integrated systems engineering framework for supervisor synthesis verification and performance evaluation. In 2013 European Control Conference (ECC) IEEE 650--657.","DOI":"10.23919\/ECC.2013.6669190"},{"key":"e_1_3_4_28_2","doi-asserted-by":"publisher","unstructured":"M. Li J. Xu K. Yang and B. Ge. 2018. An interactive model-driven simulation approach for dynamic behavior analysis in armed conflicts. IEEE Access 6 (2018) 36744\u201336756. DOI:10.1109\/ACCESS.2018.2852803","DOI":"10.1109\/ACCESS.2018.2852803"},{"key":"e_1_3_4_29_2","doi-asserted-by":"publisher","unstructured":"L. Lemazurier V. Chapurlat and A. Grosset\u00eate. 2017. An MBSE approach to pass from requirements to functional architecture. IFAC-PapersOnLine 50 1 (2017) 7260\u20137265. DOI:10.1016\/j.ifacol.2017.08.1376","DOI":"10.1016\/j.ifacol.2017.08.1376"},{"key":"e_1_3_4_30_2","doi-asserted-by":"publisher","unstructured":"Mustafa Al-Lail Wuliang Sun and Robert B. France. 2014. Analyzing behavioral aspects of UML design class models against temporal properties. In Proceedings of the IEEE International Conference on Quality Software 196\u2013201. DOI:10.1109\/QSIC.2014.56","DOI":"10.1109\/QSIC.2014.56"},{"key":"e_1_3_4_31_2","unstructured":"S. J. I. Herzig R. Karban G. Trancho F. G. Dekens N. Jankevificius and M. Troy. 2017. Analyzing the Operational Behavior of the Alignment and Phasing System of the Thirty Meter Telescope Using SysML. Retrieved from https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-85049217630&partnerID=40&md5=b61fa6283e3cc4104311aef4158911ba"},{"key":"e_1_3_4_32_2","doi-asserted-by":"crossref","unstructured":"S. Gebreyohannes A. Karimoddini and A. Homaifar. 2020. Applying model-based systems engineering to the development of a test and evaluation tool for unmanned autonomous systems. In 2020 IEEE International Systems Conference (SysCon) IEEE 1--7.","DOI":"10.1109\/SysCon47679.2020.9275894"},{"key":"e_1_3_4_33_2","unstructured":"G. Weiss M. Zeller D. Eilers and R. Knorr. 2010. Approach for iterative validation of automotive embedded systems. In Models 2010 ACES-MB Workshop Proceedings 69--83."},{"key":"e_1_3_4_34_2","doi-asserted-by":"publisher","unstructured":"Awele I. Anyanhun David N. Amanor and William W. Edmonson. 2021. Architecting an MBSE black-box system model for the physical layer of a visible light intersatellite communication system. IEEE J. Miniat. Air Space Syst. 2 4 (2021) 168\u2013178. DOI:10.1109\/JMASS.2021.3069826","DOI":"10.1109\/JMASS.2021.3069826"},{"key":"e_1_3_4_35_2","doi-asserted-by":"publisher","unstructured":"Chih-Hong Cheng Yassine Hamza and Harald Ruess. 2017. Automated analysis of multi-view software architectures. In Proceedings of the IEEE Asia-Pacific Conference on Software Engineering 725\u2013730. DOI:10.1109\/APSEC.2017.93","DOI":"10.1109\/APSEC.2017.93"},{"key":"e_1_3_4_36_2","doi-asserted-by":"publisher","unstructured":"Yilong Yang Xiaoshan Li Wei Ke and Zhiming Liu. 2020. Automated prototype generation from formal requirements model. IEEE Trans. Rel. 69 2 (2020) 632\u2013656. DOI:10.1109\/TR.2019.2934348","DOI":"10.1109\/TR.2019.2934348"},{"key":"e_1_3_4_37_2","doi-asserted-by":"crossref","unstructured":"M. Mahani D. Rizzo C. Paredis and Y. Wang. 2021. Automatic formal verification of SysML state machine diagrams for vehicular control systems. SAE International Journal of Advances and Current Practices in Mobility 3 (2021-01-0260) 2272--2280.","DOI":"10.4271\/2021-01-0260"},{"key":"e_1_3_4_38_2","doi-asserted-by":"crossref","unstructured":"Zhonglei Wang Wolfgang Haberl Stefan Kugele and Michael Tautschnig. 2008. Automatic generation of SystemC models from component-based designs for early design validation and performance analysis. In Proceedings of the 7th International Workshop on Software and Performance 139\u2013144.","DOI":"10.1145\/1383559.1383577"},{"key":"e_1_3_4_39_2","doi-asserted-by":"publisher","unstructured":"Eiji Morinaga Hidefumi Wakamatsu Hijiri Abiru and Eiji Arai. 2017. Behavior modeling method for functional verification of product considering ways of usage. J. Adv. Mech. Des. Syst. Mech. 11 5 (2017) JAMDSM0066\u2013JAMDSM0066. DOI:10.1299\/jamdsm.2017jamdsm0066","DOI":"10.1299\/jamdsm.2017jamdsm0066"},{"key":"e_1_3_4_40_2","doi-asserted-by":"publisher","unstructured":"Kui Zhang Ji Wu Chao Liu Syed Sarmad Ali and Jian Ren. 2019. Behavior modeling on ARINC653 to support the temporal verification of conformed application design. IEEE Access 7 (2019) 23852\u201323863. DOI:10.1109\/ACCESS.2019.2895996","DOI":"10.1109\/ACCESS.2019.2895996"},{"key":"e_1_3_4_41_2","doi-asserted-by":"crossref","unstructured":"N. Kahani and J. R. Cordy. 2020. Bounded verification of state machine models. In Proceedings of the 12th System Analysis and Modelling Conference 23--32.","DOI":"10.1145\/3419804.3420263"},{"key":"e_1_3_4_42_2","doi-asserted-by":"publisher","unstructured":"Muhammad Waseem Anwar Shumaila Qamar Farooque Azam Wasi Haider Butt and Muhammad Rashid. 2020. Bridging the Gap between Design and Verification of Embedded Systems in Model Based System Engineering: A Meta-model for Modeling Universal Verification Methodology (UVM) Test Benches. Association for Computing Machinery 82\u201387. DOI:10.1145\/3408066.3408069","DOI":"10.1145\/3408066.3408069"},{"key":"e_1_3_4_43_2","unstructured":"C. Duhil J.-P. Babau E. Lepicier J.-L. Voirin and J. Navas. 2020. Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. Retrieved from https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-85082994857&partnerID=40&md5=8e14eb0ff803182ecd82623fdf5ff7ed"},{"key":"e_1_3_4_44_2","doi-asserted-by":"crossref","unstructured":"S. Friedenthal A. Moore and R. Steiner. 2014. A practical guide to SysML: the systems modeling language. Morgan Kaufmann. Chapter 16 water distiller example using functional analysis. Morgan Kaufmann 357--396.","DOI":"10.1016\/B978-0-12-374379-4.00015-1"},{"key":"e_1_3_4_45_2","doi-asserted-by":"crossref","unstructured":"F. Bouffaron P. Marange and G. Morel. 2014. Checking models based on an iterative co-specification process of a critical system. In 2014 12th IEEE International Conference on Industrial Informatics (INDIN) IEEE 248--254.","DOI":"10.1109\/INDIN.2014.6945516"},{"key":"e_1_3_4_46_2","doi-asserted-by":"crossref","unstructured":"X. Zhang S. Zhang and J. Yan. 2021. Civil aircraft auto brake system development using model-based systems engineering. In 2021 China Automation Congress (CAC) IEEE 400--405.","DOI":"10.1109\/CAC53003.2021.9728152"},{"key":"e_1_3_4_47_2","doi-asserted-by":"crossref","unstructured":"X. Hai S. Zhang and X. Xu. 2017. Civil aircraft landing gear brake system development and evaluation using model based system engineering. In 2017 36th Chinese Control Conference (CCC) IEEE 10192--10197.","DOI":"10.23919\/ChiCC.2017.8028981"},{"key":"e_1_3_4_48_2","doi-asserted-by":"publisher","unstructured":"Anjelika Votintseva Petra Witschel Nikolaus Regnat and Philipp Emanuel Stelzig. 2012. Comparative Study of Model-based and Multi-domain System Engineering Approaches for Industrial Settings. Springer-Verlag 20\u201331. DOI:10.1007\/978-3-642-31491-9_4","DOI":"10.1007\/978-3-642-31491-9_4"},{"key":"e_1_3_4_49_2","doi-asserted-by":"publisher","unstructured":"Y.-M. Deng G. A Britton and S. B Tor. 2000. Constraint-based functional design verification for conceptual design. Comput.-Aid. Des. 32 14 (2000) 889\u2013899. DOI:10.1016\/S0010-4485(00)00077-4","DOI":"10.1016\/S0010-4485(00)00077-4"},{"key":"e_1_3_4_50_2","doi-asserted-by":"publisher","unstructured":"J. Liu C. Zhuang Z. Liu and T. Miao. 2021. Construction method of shop-floor digital twin based on MBSE. J. Manufact. Syst. 60 (2021) 93\u2013118. DOI:10.1016\/j.jmsy.2021.05.004","DOI":"10.1016\/j.jmsy.2021.05.004"},{"key":"e_1_3_4_51_2","doi-asserted-by":"publisher","unstructured":"Salvador Trujillo Jose Miguel Garate Roberto Erick Lopez-Herrejon Xabier Mendialdua Albert Rosado Alexander Egyed Charles W. Krueger and Josune de Sosa. 2010. Coping with Variability in Model-based Systems Engineering: An Experience in Green Energy. Springer-Verlag 293\u2013304. DOI:10.1007\/978-3-642-13595-8_23","DOI":"10.1007\/978-3-642-13595-8_23"},{"key":"e_1_3_4_52_2","doi-asserted-by":"crossref","unstructured":"R. Karban F. G. Dekens S. Herzig M. Elaasar and N. Jankevi?ius. 2016. Creating system engineering products with executable models in a model-based engineering environment. In Modeling Systems Engineering and Project Management for Astronomy VII (Vol. 9911). SPIE1637 96--111.","DOI":"10.1117\/12.2232785"},{"key":"e_1_3_4_53_2","doi-asserted-by":"crossref","unstructured":"Harald Bucher J\u00fcrgen Becker and Simon Kamm. 2019. Cross-layer behavioral modeling and simulation of E\/E-Architectures using preevision and Ptolemy II. In Proceedings of the Summer Simulation Conference (SummerSim\u201919).","DOI":"10.11128\/sne.29.tn.10472"},{"key":"e_1_3_4_54_2","unstructured":"Alfredo Garro Vittorio Vaccaro Stefan Dutr\u00e9 and Jef Stegen. 2019. Cyber-physical systems engineering: Model-based solutions. In Proceedings of the Summer Simulation Conference (SummerSim\u201919)."},{"key":"e_1_3_4_55_2","unstructured":"R. Baduel J. M. Bruel I. Ober and E. Doba. 2018. Definition of states and modes as general concepts for system design and validation. In 12e Conference Internationale de Modelisation Optimisation et Simulation (MOSIM'18)."},{"key":"e_1_3_4_56_2","doi-asserted-by":"publisher","unstructured":"D. Kaslow B. Ayres P. T. Cahill L. Hart and R. Yntema. 2017. Developing a CubeSat model-based system engineering (MBSE) reference model\u2014Interim status #3. DOI:10.1109\/AERO.2017.7943691","DOI":"10.1109\/AERO.2017.7943691"},{"key":"e_1_3_4_57_2","doi-asserted-by":"crossref","unstructured":"Francisco Dur\u00e1n Manuel Rold\u00e1n Antonio Moreno and Jos\u00e9 Mar\u00eda \u00c1lvarez. 2014. Dynamic validation of maude prototypes of UML models. In Specification Algebra and Software. Springer Berlin 212\u2013228. Retrieved from http:\/\/link.springer.com\/10.1007\/978-3-642-54624-2_11","DOI":"10.1007\/978-3-642-54624-2_11"},{"key":"e_1_3_4_58_2","unstructured":"Manzoor Ahmad Iulia Dragomir Jean-Michel Bruel Iulian Ober and Nicolas Belloir. 2013. Early analysis of ambient systems sysml properties using omega2-ifx. In Proceedings of the International Conference on Simulation and Modeling Methodologies Technologies and Applications (SIMULTECH\u201913)."},{"key":"e_1_3_4_59_2","doi-asserted-by":"publisher","unstructured":"Christophe Duhil Jean-Luc Voirin Eric L\u00e9picier and Jean-Philippe Babau. 2020. Early detection of flaws in system architecture model by means of model simulation. In Proceedings of the INCOSE Annual International Symposium 1758\u20131769. DOI:10.1002\/j.2334-5837.2020.00817.x","DOI":"10.1002\/j.2334-5837.2020.00817.x"},{"key":"e_1_3_4_60_2","doi-asserted-by":"publisher","unstructured":"Veronika Brandstetter Andreas Froese Bastian Tenbergen Andreas Vogelsang Jan Christoph Wehrstedt and Thorsten Weyer. 2015. Early validation of automation plant control software using simulation based on assumption modeling and validation use cases. Complex Syst. Info. Model. Quart. 4 (2015). DOI:10.7250\/csimq.2015-4.04","DOI":"10.7250\/csimq.2015-4.04"},{"key":"e_1_3_4_61_2","doi-asserted-by":"publisher","unstructured":"Emmanouela Stachtiari Anastasia Mavridou Panagiotis Katsaros Simon Bliudze and Joseph Sifakis. 2018. Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145 (2018) 52\u201378. DOI:10.1016\/j.jss.2018.07.053","DOI":"10.1016\/j.jss.2018.07.053"},{"key":"e_1_3_4_62_2","doi-asserted-by":"publisher","unstructured":"Joe Gregory Lucy Berthoud Theo Tryfonas and Antonio Prezzavento. 2019. Early validation of the data handling unit of a spacecraft using MBSE. In Proceedings of the IEEE Conference on Aerospace 1\u201315. DOI:10.1109\/AERO.2019.8741767","DOI":"10.1109\/AERO.2019.8741767"},{"key":"e_1_3_4_63_2","doi-asserted-by":"publisher","unstructured":"Carlos A. Gonz\u00e1lez Mojtaba Varmazyar Shiva Nejati Lionel C. Briand and Yago Isasi. 2018. Enabling Model Testing of Cyber-physical Systems. Association for Computing Machinery 176\u2013186. DOI:10.1145\/3239372.3239409","DOI":"10.1145\/3239372.3239409"},{"key":"e_1_3_4_64_2","doi-asserted-by":"publisher","unstructured":"Robert Karban Nerijus Jankevi\u010dius and Maged Elaasar. 2016. ESEM: Automated systems analysis using executable SysML modeling patterns. In Proceedings of the INCOSE Annual International Symposium 1\u201324. DOI:10.1002\/j.2334-5837.2016.00142.x","DOI":"10.1002\/j.2334-5837.2016.00142.x"},{"key":"e_1_3_4_65_2","unstructured":"Zhixue Wang He Hongyue and Qingglong Wang. 2014. Executable Architecture Modeling and Simulation Based on fUML."},{"key":"e_1_3_4_66_2","doi-asserted-by":"publisher","unstructured":"Renzhong Wang and Cihan H. Dagli. 2011. Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model-driven systems development process. Syst. Eng. 14 4 (2011) 383\u2013409. DOI:10.1002\/sys.20184","DOI":"10.1002\/sys.20184"},{"key":"e_1_3_4_67_2","unstructured":"Radoslaw Klimek and Piotr Szwed. 2010. Formal analysis of use case diagrams. Comput. Sci. 11 (2010) 115\u2013131."},{"key":"e_1_3_4_68_2","doi-asserted-by":"crossref","unstructured":"Marco Bozzano Roberto Cavada Alessandro Cimatti J.-P. Katoen V. Nguyen Thomas Noll and Xavier Olive. 2010. Formal verification and validation of AADL models. In Proceedings of the Embedded Real Time Software & Systems (ERTS2\u201910).","DOI":"10.1145\/1595696.1595744"},{"key":"e_1_3_4_69_2","doi-asserted-by":"publisher","unstructured":"Luciano Baresi Gundula Blohm Dimitrios S. Kolovos Nicholas Matragkas Alfredo Motta Richard F. Paige Alek Radjenovic and Matteo Rossi. 2015. Formal verification and validation of embedded systems: The UML-based MADES approach. Softw. Syst. Model. 14 1 (2015) 343\u2013363. DOI:10.1007\/s10270-013-0330-z","DOI":"10.1007\/s10270-013-0330-z"},{"key":"e_1_3_4_70_2","doi-asserted-by":"publisher","unstructured":"Fernando Silvano Goncalves David Pereira Eduardo Tovar and Leandro Buss Becker. 2017. Formal verification of AADL models using UPPAAL. In Proceedings of the IEEE Brazilian Symposium on Computing System Engineering (SBESC\u201917) 117\u2013124. DOI:10.1109\/SBESC.2017.22","DOI":"10.1109\/SBESC.2017.22"},{"key":"e_1_3_4_71_2","doi-asserted-by":"publisher","unstructured":"Habibi Husain Arifin Yu Dong Ho Kit Robert Ong Yaoying Gu Nasis Chimplee and Wu Daphne. 2020. Hatley-pirbhai control flow diagram with SysML for early validation. In Proceedings of the INCOSE Annual International Symposium 50\u201364. DOI:10.1002\/j.2334-5837.2020.00707.x","DOI":"10.1002\/j.2334-5837.2020.00707.x"},{"key":"e_1_3_4_72_2","doi-asserted-by":"crossref","unstructured":"Messaoud Rahim Malika Boukala-Ioualalen and Ahmed Hammad. 2021. Hierarchical colored petri nets for the verification of SysML designs- activity-based slicing approach. In Advances in Computing Systems and Applications. Springer International Publishing Cham 131\u2013142.","DOI":"10.1007\/978-3-030-69418-0_12"},{"key":"e_1_3_4_73_2","doi-asserted-by":"crossref","unstructured":"R. Promyoo S. Alai and H. El-Mounayri. 2019. Innovative digital manufacturing curriculum for industry 4.0. Procedia Manufacturing 34 (2019) 1043--1050.","DOI":"10.1016\/j.promfg.2019.06.092"},{"key":"e_1_3_4_74_2","doi-asserted-by":"crossref","unstructured":"D. Kaslow G. Soremekun H. Kim and S. Spangelo. 2014. Integrated model-based systems engineering (MBSE) applied to the Simulation of a CubeSat mission. In 2014 IEEE Aerospace Conference IEEE 1--14.","DOI":"10.1109\/AERO.2014.6836317"},{"key":"e_1_3_4_75_2","unstructured":"A. S. Dalvi A. Razban H. El-Mounyari T. El-Mekkawy and R. Promyoo. 2020. Integrated System Model of District Cooling for Energy Consumption Optimization. 1722\u20131732. Retrieved from https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-85095751692&partnerID=40&md5=fc7d2333c806a0f81e28d3be0023caa5"},{"key":"e_1_3_4_76_2","doi-asserted-by":"publisher","unstructured":"J\u00f6rg Holtmann Ruslan Bernijazov Matthias Meyer David Schmelter and Christian Tschirner. 2015. Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. Association for Computing Machinery 57\u201366. DOI:10.1145\/2785592.2785597","DOI":"10.1145\/2785592.2785597"},{"key":"e_1_3_4_77_2","doi-asserted-by":"publisher","unstructured":"Timo Veps\u00e4l\u00e4inen and Seppo Kuikka. 2014. Integrating model-in-the-loop simulations to model-driven development in industrial control. Simulation 90 12 (2014) 1295\u20131311. DOI:10.1177\/0037549714553229","DOI":"10.1177\/0037549714553229"},{"key":"e_1_3_4_78_2","doi-asserted-by":"crossref","unstructured":"M. Friedl A. Kellner and L. Weingartner. 2017. Integration of domain-specific simulation models into descriptive system models by using SysML. In IEEE International Systems Engineering Symposium (ISSE'17) IEEE 1--5.","DOI":"10.1109\/SysEng.2017.8088256"},{"key":"e_1_3_4_79_2","doi-asserted-by":"crossref","unstructured":"J. Ding M. Reniers J. Lu G. Wang L. Feng and D. Kiritsis. 2021. Integration of modeling and verification for system model based on KARMA language. In Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling 41--50.","DOI":"10.1145\/3486603.3486775"},{"key":"e_1_3_4_80_2","doi-asserted-by":"crossref","unstructured":"Y. Cao Y. Liu and C. J. Paredis. 2010. Integration of system-level design and analysis models of mechatronic system behavior based on sysML and simscape. In ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference American Society of Mechanical Engineers Digital Collection 1099--1108.","DOI":"10.1115\/DETC2010-28213"},{"key":"e_1_3_4_81_2","doi-asserted-by":"publisher","unstructured":"Vickram Singh and Gerrit Muller. 2013. Knowledge capture cross boundary communication and early validation with dynamic A3 architectures. In Proceedings of the INCOSE Annual International Symposium 84\u201397. DOI:10.1002\/j.2334-5837.2013.tb03005.x","DOI":"10.1002\/j.2334-5837.2013.tb03005.x"},{"key":"e_1_3_4_82_2","doi-asserted-by":"publisher","unstructured":"Imran R. Quadri Etienne Brosse Ian Gray Nicholas Matragkas Leandro Soares Indrusiak Matteo Rossi Alessandra Bagnato and Andrey Sadovykh. 2012. MADES FP7 EU project: Effective high level SysML\/MARTE methodology for real-time and embedded avionics systems. In Proceedings of the IEEE International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC\u201912) 1\u20138. DOI:10.1109\/ReCoSoC.2012.6322882","DOI":"10.1109\/ReCoSoC.2012.6322882"},{"key":"e_1_3_4_83_2","doi-asserted-by":"publisher","unstructured":"A. M. Madni. 2021. Mbse testbed for rapid cost-effective prototyping and evaluation of system modeling approaches. Appl. Sci. (Switz.) 11 5 (2021) 1\u201319. DOI:10.3390\/app11052321","DOI":"10.3390\/app11052321"},{"key":"e_1_3_4_84_2","doi-asserted-by":"crossref","unstructured":"Xiaopu Huang Qingqing Sun Jiangwei Li and Tian Zhang. 2013. MDE-Based verification of SysML state machine diagram by UPPAAL. In Trustworthy Computing and Services. Springer Berlin 490\u2013497.","DOI":"10.1007\/978-3-642-35795-4_62"},{"key":"e_1_3_4_85_2","doi-asserted-by":"crossref","unstructured":"U. Farooq. 2017. Model based verification of electronic control unit (ECU) in high lift systems: verification and validation. In 2017 IEEE International Systems Engineering Symposium (ISSE) IEEE 1--5.","DOI":"10.1109\/SysEng.2017.8088318"},{"key":"e_1_3_4_86_2","doi-asserted-by":"publisher","unstructured":"L. Petnga and M. Austin. 2016. Model-based design and formal verification processes for automated waterway system operations. Systems 4 2 (2016). DOI:10.3390\/systems4020023","DOI":"10.3390\/systems4020023"},{"key":"e_1_3_4_87_2","doi-asserted-by":"publisher","unstructured":"Muhammad Waseem Anwar Muhammad Rashid Farooque Azam and Muhammad Kashif. 2017. Model-based design verification for embedded systems through SVOCL: An OCL extension for SystemVerilog. Des. Autom. Embed. Syst. 21 1 (2017) 1\u201336. DOI:10.1007\/s10617-017-9182-z","DOI":"10.1007\/s10617-017-9182-z"},{"key":"e_1_3_4_88_2","doi-asserted-by":"publisher","unstructured":"Peter Munk and Arne Nordmann. 2020. Model-based safety assessment with SysML and component fault trees: Application and lessons learned. Softw. Syst. Model. 19 4 (2020) 889\u2013910. DOI:10.1007\/s10270-020-00782-w","DOI":"10.1007\/s10270-020-00782-w"},{"key":"e_1_3_4_89_2","doi-asserted-by":"publisher","unstructured":"N. C. W. M. Braspenning E. M. Bortnik J. M. van de Mortel-Fronczak and J. E. Rooda. 2008. Model-based system analysis using Chi and Uppaal: An industrial case study. Comput. Ind. 59 1 (2008) 41\u201354. DOI:10.1016\/j.compind.2007.06.002","DOI":"10.1016\/j.compind.2007.06.002"},{"key":"e_1_3_4_90_2","doi-asserted-by":"crossref","unstructured":"Paolo Bocciarelli Andrea D\u2019Ambrogio Andrea Giglio and Emiliano Paglia. 2019. Model-driven distributed simulation engineering. In Proceedings of the IEEE Simulation Winter Conference 75\u201389.","DOI":"10.1109\/WSC40007.2019.9004937"},{"key":"e_1_3_4_91_2","unstructured":"Wladimir Schamai Peter Fritzson Christiaan J. J. Paredis and Philipp Helle. 2012. ModelicaML value bindings for automated model composition. In Proceedings of the Summer Simulation Conference (SummerSim\u201919)."},{"key":"e_1_3_4_92_2","unstructured":"A. Falcone A. Garro and A. Tundis. 2014. Modeling and Simulation for the Performance Evaluation of the On-board Communication System of a Metro Train. Retrieved from https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-84912102514&partnerID=40&md5=107cdf8df7d7649aeb7b2de6dfe7a604"},{"key":"e_1_3_4_93_2","doi-asserted-by":"crossref","unstructured":"R. Baduel I. Ober and J. M. Bruel. 2020. Modeling and verification method for an early evaluation of Systems of Systems interactions. In Proceedings of the 35th Annual ACM Symposium on Applied Computing 1798--1805.","DOI":"10.1145\/3341105.3373944"},{"key":"e_1_3_4_94_2","doi-asserted-by":"publisher","unstructured":"Olivia Penas Rgis Plateaux Stanislao Patalano and Moncef Hammadi. 2017. Multi-scale approach from mechatronic to cyber-physical systems for the design of manufacturing systems. Comput. Ind. 86 C (2017) 52\u201369. DOI:10.1016\/j.compind.2016.12.001","DOI":"10.1016\/j.compind.2016.12.001"},{"key":"e_1_3_4_95_2","doi-asserted-by":"publisher","unstructured":"Jean-Francois Castet Matthew L. Rozek Michel D. Ingham Nicolas F. Rouquette Seung H. Chung J. Steven Jenkins David A. Wagner and Daniel L. Dvorak. 2015. Ontology and Modeling Patterns for State-based Behavior Representation. American Institute of Aeronautics and Astronautics. DOI:10.2514\/6.2015-1115","DOI":"10.2514\/6.2015-1115"},{"key":"e_1_3_4_96_2","doi-asserted-by":"publisher","unstructured":"R. Chen C.-H. Chen Y. Liu and X. Ye. 2020. Ontology-based requirement verification for complex systems. Adv. Eng. Inf. 46 (2020). DOI:10.1016\/j.aei.2020.101148","DOI":"10.1016\/j.aei.2020.101148"},{"key":"e_1_3_4_97_2","unstructured":"Alfredo Garro and Andrea Tundis. 2014. RAMSAS4Modelica: A simulation-driven method for system dependability analysis centered on the modelica language and related tools. In Proceedings of the Summer Simulation Conference (SummerSim\u201919)."},{"key":"e_1_3_4_98_2","doi-asserted-by":"publisher","unstructured":"J. Holtk\u00f6tter J. Michael C. Henke A. Tr\u00e4chtler M. Bockholt A. M\u00f6hlenkamp and M. Katter. 2018. Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers. 235\u2013242. DOI:10.1016\/j.promfg.2018.06.033","DOI":"10.1016\/j.promfg.2018.06.033"},{"key":"e_1_3_4_99_2","doi-asserted-by":"publisher","unstructured":"Messaoud Rahim Ahmed Kheldoun Malika Boukala-Ioualalen and Ahmed Hammad. 2015. Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. IET Softw. 9 5 (2015) 119\u2013128. DOI:10.1049\/iet-sen.2014.0087","DOI":"10.1049\/iet-sen.2014.0087"},{"key":"e_1_3_4_100_2","doi-asserted-by":"publisher","unstructured":"Alvaro Miyazawa Pedro Ribeiro Wei Li Ana Cavalcanti Jon Timmis and Jim Woodcock. 2019. RoboChart: Modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18 5 (2019) 3097\u20133149. DOI:10.1007\/s10270-018-00710-z","DOI":"10.1007\/s10270-018-00710-z"},{"key":"e_1_3_4_101_2","doi-asserted-by":"publisher","unstructured":"C. Kotronis A. Tsadimas G. -D. Kapos V. Dalakas M. Nikolaidou and D. Anagnostopoulos. 2016. Simulating SysML transportation models. 2016 IEEE International Conference on Systems Man and Cybernetics (SMC) Budapest Hungary 001674--001679. DOI:10.1109\/SMC.2016.7844478.1764","DOI":"10.1109\/SMC.2016.7844478.1764"},{"key":"e_1_3_4_102_2","unstructured":"Matthew Hause and James Hummell. 2012. Simulation of an electrical network and control system in SysML. In Proceedings of the Summer Simulation Conference (SummerSim\u201919)."},{"key":"e_1_3_4_103_2","doi-asserted-by":"crossref","unstructured":"E. Palachi C. Cohen and S. Takashi. 2013. Simulation of cyber physical models using SysML and numerical solvers. In 2013 IEEE International Systems Conference (SysCon) IEEE 671--675.","DOI":"10.1109\/SysCon.2013.6549954"},{"key":"e_1_3_4_104_2","doi-asserted-by":"publisher","unstructured":"Ralph Weissnegger Markus Schuss Christian Kreiner Markus Pistauer Kay R\u00f6mer and Christian Steger. 2016. Simulation-based verification of automotive safety-critical systems based on EAST-ADL. Proc. Comput. Sci. 83 (2016) 245\u2013252. DOI:10.1016\/j.procs.2016.04.122","DOI":"10.1016\/j.procs.2016.04.122"},{"key":"e_1_3_4_105_2","doi-asserted-by":"publisher","unstructured":"Parastoo Delgoshaei and Mark Austin. 2012. Software patterns for traceability of requirements to finite state machine behavior: Application to rail transit systems design and management. In Proceedings of the INCOSE Annual International Symposium 2141\u20132155. DOI:10.1002\/j.2334-5837.2012.tb01463.x","DOI":"10.1002\/j.2334-5837.2012.tb01463.x"},{"key":"e_1_3_4_106_2","doi-asserted-by":"publisher","unstructured":"Marco Bozzano Alessandro Cimatti Joost-Pieter Katoen Panagiotis Katsaros Konstantinos Mokos Viet Yen Nguyen Thomas Noll Bart Postma and Marco Roveri. 2014. Spacecraft early design validation using formal methods. Reliabil. Eng. Syst. Safety 132 (2014) 20\u201335. DOI:10.1016\/j.ress.2014.07.003","DOI":"10.1016\/j.ress.2014.07.003"},{"key":"e_1_3_4_107_2","doi-asserted-by":"publisher","unstructured":"Daniel Aceituna Hyunsook Do and Seok-Won Lee. 2010. SQ(2)E: An approach to requirements validation with scenario question. In Proceedings of the IEEE Asia-Pacific Conference on Software Engineering 33\u201342. DOI:10.1109\/APSEC.2010.14","DOI":"10.1109\/APSEC.2010.14"},{"key":"e_1_3_4_108_2","doi-asserted-by":"publisher","unstructured":"Y. Wu G. Xiao and M. Wang. 2021. State-based safety analysis method for dynamic evaluation of failure effect. Aerosp. Syst. 4 1 (2021) 49\u201365. DOI:10.1007\/s42401-020-00073-8","DOI":"10.1007\/s42401-020-00073-8"},{"key":"e_1_3_4_109_2","unstructured":"J. K\u00f6\u00dfler and K. Paetzold. 2015. Support of the System Integration with Automatically Generated Behaviour Models. Retrieved from https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-84979760363&partnerID=40&md5=e8a502cad2e8966022f01335b4d9d085"},{"key":"e_1_3_4_110_2","doi-asserted-by":"crossref","unstructured":"Ronan Baduel Mohammad Chami Jean-Michel Bruel and Iulian Ober. 2018. SysML models verification and validation in an industrial context: Challenges and experimentation. In Modelling Foundations and Applications. Springer International Publishing Cham 132\u2013146. Retrieved from http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_9","DOI":"10.1007\/978-3-319-92997-2_9"},{"key":"e_1_3_4_111_2","doi-asserted-by":"publisher","unstructured":"Ludovic Apvrille Pierre De Saqui-Sannes Oana Hotescu and Alessandro Calvino. 2022. SysML Models Verification Relying on Dependency Graphs SciTePress 174\u2013181. DOI:10.5220\/0010792900003119","DOI":"10.5220\/0010792900003119"},{"key":"e_1_3_4_112_2","doi-asserted-by":"publisher","unstructured":"Maysam Zoor Ludovic Apvrille and Renaud Pacalet. 2020. SysML models: Studying safety and security measures impact on performance using graph tainting. In Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery New York NY. Retrieved from 10.1145\/3417990.3419225","DOI":"10.1145\/3417990.3419225"},{"key":"e_1_3_4_113_2","doi-asserted-by":"publisher","unstructured":"Yue Cao Yusheng Liu Hongri Fan and Bo Fan. 2013. SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronics. Comput.-Aid. Des. 45 3 (2013) 764\u2013776. DOI:10.1016\/j.cad.2012.05.001","DOI":"10.1016\/j.cad.2012.05.001"},{"key":"e_1_3_4_114_2","doi-asserted-by":"publisher","unstructured":"Y. Cao Y. Liu and C. J. J. Paredis. 2011. System-level model integration of design and simulation for mechatronic systems based on SysML. Mechatronics 21 6 (2011) 1063\u20131075. DOI:10.1016\/j.mechatronics.2011.05.003","DOI":"10.1016\/j.mechatronics.2011.05.003"},{"key":"e_1_3_4_115_2","doi-asserted-by":"crossref","unstructured":"C. F. Claver B. M. Selvy G. Angeli F. Delgado G. Dubois-Felsmann P. Hascall P. Lotz S. Marshall G. Schumacher and J. Sebag. 2014. Systems engineering in the large synoptic survey telescope project: An application of model based systems engineering. In Modeling Systems Engineering and Project Management for Astronomy VI Vol. 9150 SPIE 223--235.","DOI":"10.1117\/12.2056781"},{"key":"e_1_3_4_116_2","doi-asserted-by":"crossref","unstructured":"Aymen Louati Kamel Barkaoui and Chadlia Jerad. 2015. Temporal properties verification of real-time systems using UML\/MARTE\/OCL-RT. In Formalisms for Reuse and Systems Integration. Springer International Publishing Cham 133\u2013147.","DOI":"10.1007\/978-3-319-16577-6_6"},{"key":"e_1_3_4_117_2","doi-asserted-by":"publisher","unstructured":"Daniel Knorreck Ludovic Apvrille and Pierre de Saqui-Sannes. 2011. TEPE: A SysML language for time-constrained property modeling and formal verification. SIGSOFT Softw. Eng. Not. 36 1 (2011) 1\u20138. DOI:10.1145\/1921532.1921556","DOI":"10.1145\/1921532.1921556"},{"key":"e_1_3_4_118_2","doi-asserted-by":"crossref","unstructured":"J. Gregory L. Berthoud T. Tryfonas and L. Faure. 2020. There's no \u2018I\u2019in SEAM---An interim report on the \u2018Spacecraft Early Analysis Model\u2019. In 2020 IEEE Aerospace Conference IEEE 1--14.","DOI":"10.1109\/AERO47225.2020.9172702"},{"key":"e_1_3_4_119_2","doi-asserted-by":"publisher","unstructured":"Mustapha Salim Ghitri Mohamed Messabihi and Abdelkrim Benamar. 2019. Tooled approach for formal verification of components interactions modeled in SysML. In Proceedings of the IEEE International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS\u201919) 1\u20137. DOI:10.1109\/ICTAACS48474.2019.8988134","DOI":"10.1109\/ICTAACS48474.2019.8988134"},{"key":"e_1_3_4_120_2","doi-asserted-by":"crossref","unstructured":"Jean-Marie Gauthier Fabrice Bouquet Ahmed Hammad and Fabien Peureux. 2015. Tooled process for early validation of SysML models using modelica simulation. In Fundamentals of Software Engineering. Springer International Publishing Cham 230\u2013237. Retrieved from http:\/\/link.springer.com\/10.1007\/978-3-319-24644-4_16","DOI":"10.1007\/978-3-319-24644-4_16"},{"key":"e_1_3_4_121_2","doi-asserted-by":"crossref","unstructured":"A. Berrachedi M. Ioualalen and A. Hammad. 2021. Towards the formal modeling methodology of WSN through the transformation of SysML into DSPNs. In SIMULTECH 83--91.","DOI":"10.5220\/0010549200830091"},{"key":"e_1_3_4_122_2","doi-asserted-by":"publisher","unstructured":"J. Lee Jiann-I Pan Jong-Yih Kuo Yong-Yi Fanjiang and S. Yang. 2000. Towards the verification of scenarios with time Petri-nets. IEEE Comput. Soc. 503\u2013508. DOI:10.1109\/CMPSAC.2000.884773","DOI":"10.1109\/CMPSAC.2000.884773"},{"key":"e_1_3_4_123_2","doi-asserted-by":"crossref","unstructured":"W. Schamai P. Fritzson C. Paredis and A. Pop. 2009. Towards unified system modeling and simulation with ModelicaML: modeling of executable behavior using graphical notations. In Proceedings 7th Modelica Conference Como 612--621.","DOI":"10.3384\/ecp09430081"},{"key":"e_1_3_4_124_2","unstructured":"Michael E. Shin Alexander H. Levis and Lee W. Wagenhals. 2003. Transformation of UML-based system model to design\/CPN model for validating system behavior. In Proceedings of the 6th International Conference on the UML\/Workshop on Compositional Verification of the UML Models Citeseer."},{"key":"e_1_3_4_125_2","doi-asserted-by":"publisher","unstructured":"Martin Gogolla Fabian B\u00fcttner and Mark Richters. 2007. USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69 1\u20133 (2007) 27\u201334. DOI:10.1016\/j.scico.2007.01.013","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"e_1_3_4_126_2","doi-asserted-by":"publisher","unstructured":"W. Damm H. Hungar B. Josko T. Peikenkamp and I. Stierand. 2011. Using contract-based component specifications for virtual integration testing and architecture design. In Proceedings of the IEEE Design Automation and Test in Europe Conference and Exhibition 1\u20136. DOI:10.1109\/DATE.2011.5763167","DOI":"10.1109\/DATE.2011.5763167"},{"key":"e_1_3_4_127_2","doi-asserted-by":"publisher","unstructured":"Matthias Bernaerts Bentley Oakes Ken Vanherpen Bjorn Aelvoet Hans Vangheluwe and Joachim Denil. 2019. Validating industrial requirements with a contract-based approach. In Proceedings of the IEEEConference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919) 18\u201327. DOI:10.1109\/MODELS-C.2019.00010","DOI":"10.1109\/MODELS-C.2019.00010"},{"key":"e_1_3_4_128_2","unstructured":"Georg K\u00f6sters Hans-Werner Six and Mario Winter. 2001. Validation and verification of use cases and class models. In Proceedings of the 7th International Workshop on Requirements Engineering: Foundations for Software Quality (REFSQ\u201901)."},{"key":"e_1_3_4_129_2","doi-asserted-by":"publisher","unstructured":"Dan Li Xiaoshan Li Jicong Liu and Zhiming Liu. 2008. Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. 4 3 (2008) 241\u2013248. DOI:10.1007\/s11334-008-0062-3","DOI":"10.1007\/s11334-008-0062-3"},{"key":"e_1_3_4_130_2","doi-asserted-by":"publisher","unstructured":"Hongyu Li Miao Wang Gang Xiao and Guoqing Wang. 2022. Verification and test case development method based on civil aircraft operation scenario. Aerosp. Sp. 5 1 (2022) 65\u201374. DOI:10.1007\/s42401-021-00090-1","DOI":"10.1007\/s42401-021-00090-1"},{"key":"e_1_3_4_131_2","doi-asserted-by":"publisher","unstructured":"Myron Hecht and Jaron Chen. 2021. Verification and validation of SysML models. In Proceedings of the INCOSE Annual International Symposium 599\u2013613. DOI:10.1002\/j.2334-5837.2021.00857.x","DOI":"10.1002\/j.2334-5837.2021.00857.x"},{"key":"e_1_3_4_132_2","doi-asserted-by":"crossref","unstructured":"R. Kawahara D. Dotan T. Sakairi Kohichi Ono Hiroaki Nakamura A. Kirshin Shinichi Hirose and Hiroshi Ishikawa. 2009. Verification of embedded system's specification using collaborative simulation of SysML and simulink models. In 2009 International Conference on Model-Based Systems Engineering IEEE 21--28.","DOI":"10.1109\/MBSE.2009.5031716"},{"key":"e_1_3_4_133_2","doi-asserted-by":"crossref","unstructured":"Jinqiang Zhao and Zhenhua Duan. 2009. Verification of use case with petri nets in requirement analysis. In Computational Science and Its Applications (ICCSA\u201909). Springer Berlin 29\u201342. Retrieved from http:\/\/link.springer.com\/10.1007\/978-3-642-02457-3_3","DOI":"10.1007\/978-3-642-02457-3_3"},{"key":"e_1_3_4_134_2","doi-asserted-by":"publisher","unstructured":"Lucas Lima and Amaury Tavares. 2019. Verifying deadlock and nondeterminism in activity diagrams. In Proceedings of the IEEE Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919) 764\u2013768. DOI:10.1109\/MODELS-C.2019.00119","DOI":"10.1109\/MODELS-C.2019.00119"},{"key":"e_1_3_4_135_2","doi-asserted-by":"publisher","unstructured":"Edward Huang Leon F. McGinnis and Steven W. Mitchell. 2020. Verifying SysML activity diagrams using formal transformation to Petri nets. Syst. Eng. 23 1 (2020) 118\u2013135. DOI:10.1002\/sys.21524","DOI":"10.1002\/sys.21524"},{"key":"e_1_3_4_136_2","doi-asserted-by":"crossref","unstructured":"Wladimir Schamai Philipp Helle Peter Fritzson and Christiaan J. J. Paredis. 2011. Virtual verification of system designs against system requirements. In Models in Software Engineering. Springer Berlin 75\u201389.","DOI":"10.1007\/978-3-642-21210-9_8"},{"key":"e_1_3_4_137_2","doi-asserted-by":"publisher","unstructured":"Eduard Paul Enoiu Raluca Marinescu Cristina Seceleanu and Paul Pettersson. 2012. ViTAL: A verification tool for EAST-ADL models using UPPAAL PORT. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems 328\u2013337. DOI:10.1109\/ICECCS20050.2012.6299228","DOI":"10.1109\/ICECCS20050.2012.6299228"},{"key":"e_1_3_4_138_2","doi-asserted-by":"crossref","unstructured":"Garazi Juez Est\u00edbaliz Amparan Ray Lattarulo Alejandra Ru\u00edz Joshu\u00e9 P\u00e9rez and Hu\u00e1scar Espinoza. 2017. Early safety assessment of automotive systems using sabotage simulation-based fault injection framework. In International Conference on Computer Safety Reliability and Security Springer 255\u2013269.","DOI":"10.1007\/978-3-319-66266-4_17"},{"key":"e_1_3_4_139_2","doi-asserted-by":"crossref","unstructured":"Cong Liu Junaid Babar Isaac Amundson Karl Hoech Darren Cofer and Eric Mercer. 2022. Assume-guarantee reasoning with scheduled components. In NASA Formal Methods Symposium Springer 355\u2013372.","DOI":"10.1007\/978-3-031-06773-0_19"},{"key":"e_1_3_4_140_2","doi-asserted-by":"crossref","unstructured":"Rahul Krishnan and Shamsnaz Virani Bhada. 2022. Integrated system design and safety framework for model-based safety assessment. IEEE Access 10 (2022) 79311\u201379334.","DOI":"10.1109\/ACCESS.2022.3193495"},{"key":"e_1_3_4_141_2","doi-asserted-by":"crossref","unstructured":"Orion Staskal Josh Simac Logan Swayne and Kristin Y. Rozier. 2022. Translating SysML activity diagrams for nuXmv verification of an autonomous pancreas. In Proceedings of the IEEE 46th Annual Computers Software and Applications Conference (COMPSAC\u201922) IEEE 1637\u20131642.","DOI":"10.1109\/COMPSAC54236.2022.00260"},{"key":"e_1_3_4_142_2","doi-asserted-by":"crossref","unstructured":"Lin Zhang Fei Ye Kunyu Xie Pengfei Gu Xiaohan Wang Yuanjun Laili Chun Zhao Xuesong Zhang Minjie Chen Tingyu Lin and others. 2022. An integrated intelligent modeling and simulation language for model-based systems engineering. J. Industr. Inf. Integr. 28 (2022) 100347.","DOI":"10.1016\/j.jii.2022.100347"},{"key":"e_1_3_4_143_2","doi-asserted-by":"crossref","unstructured":"Davide Basile Maurice H. ter Beek Alessio Ferrari and Axel Legay. 2022. Exploring the ERTMS\/ETCS full moving block specification: An experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24 3 (2022) 351\u2013370.","DOI":"10.1007\/s10009-022-00653-3"},{"key":"e_1_3_4_144_2","doi-asserted-by":"crossref","unstructured":"David King David Jacques Jeremy Gray and Katherine Cheney. 2020. Design and simulation of a wide area search mission: An implementation of an autonomous systems reference architecture. In Proceedings of the Winter Simulation Conference (WSC\u201920) IEEE 540\u2013551.","DOI":"10.1109\/WSC48552.2020.9384112"},{"key":"e_1_3_4_145_2","doi-asserted-by":"crossref","unstructured":"Xinwen Hu Yi Zhuang and Fuyuan Zhang. 2020. A security modeling and verification method of embedded software based on Z and MARTE. Comput. Secur. 88 (2020) 101615.","DOI":"10.1016\/j.cose.2019.101615"},{"key":"e_1_3_4_146_2","doi-asserted-by":"crossref","unstructured":"Micha Sende Melanie Schranz Gianluca Prato Etienne Brosse Omar Morando and Martina Umlauft. 2021. Engineering swarms of cyber-physical systems with the CPSwarm workbench. J. Intell. Robot. Syst. 102 4 (2021) 1\u201318.","DOI":"10.1007\/s10846-021-01430-1"},{"key":"e_1_3_4_147_2","doi-asserted-by":"crossref","unstructured":"Victor Romero Romain Pinqui\u00e9 and Fr\u00e9d\u00e9ric No\u00ebl. 2022. A user-centric computer-aided verification process in a virtuality-reality continuum. Comput. Industr. 140 (2022) 103678.","DOI":"10.1016\/j.compind.2022.103678"},{"key":"e_1_3_4_148_2","doi-asserted-by":"crossref","unstructured":"Fabian Giertzsch Oliver C. Eichmann Hartmut Hintze and Ralf God. 2022. An approach for a simulation-based analysis of business processes using the systems modeling language (SysML). In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings 331\u2013340.","DOI":"10.1145\/3550356.3561535"},{"key":"e_1_3_4_149_2","doi-asserted-by":"crossref","unstructured":"Iulia Dragomir Carlos Redondo Tiago Jorge Laura Gouveia Iulian Ober Ivan Kolesnikov Marius Bozga and Maxime Perrotin. 2022. Model-checking of space systems designed with TASTE\/SDL. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings 237\u2013246.","DOI":"10.1145\/3550356.3561541"},{"key":"e_1_3_4_150_2","doi-asserted-by":"crossref","unstructured":"Pedro \u00c2ngelo Vaz De Carvalho Andr\u00e9 Ivo Guilherme Venticinque Gustavo Vicari Duarte Matheus Miranda and Fatima Mattiello-Francisco. 2022. Simplifying operational scenario simulation for CubeSat mission analysis purposes. In Proceedings of the 11th Latin-American Symposium on Dependable Computing 125\u2013130.","DOI":"10.1145\/3569902.3570189"},{"key":"e_1_3_5_2_2","volume-title":"Conceptual Blockbusting: A Guide to Better Ideas","author":"Adams James L.","year":"2019","unstructured":"James L. Adams. 2019. Conceptual Blockbusting: A Guide to Better Ideas. Basic Books."},{"key":"e_1_3_5_3_2","doi-asserted-by":"crossref","unstructured":"T. Ahmad J. Iqbal A. Ashraf D. Truscan and I. Porres. 2019. Model-based testing using UML activity diagrams: A systematic mapping study. Computer Science Review 33 (2019) 98--112.","DOI":"10.1016\/j.cosrev.2019.07.001"},{"key":"e_1_3_5_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00905-x"},{"key":"e_1_3_5_5_2","doi-asserted-by":"publisher","DOI":"10.1515\/9783110636420"},{"key":"e_1_3_5_6_2","article-title":"Testing, validation, and verification of robotic and autonomous systems: A systematic review","author":"Araujo Hugo","year":"2022","unstructured":"Hugo Araujo, Mohammad Reza Mousavi, and Mahsa Varshosaz. 2022. Testing, validation, and verification of robotic and autonomous systems: A systematic review. ACM Trans. Softw. Eng. Methodol. (2022).","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"e_1_3_5_7_2","first-page":"e2428","article-title":"Uncertainty handling in cyber\u2013physical systems: State-of-the-art approaches, tools, causes, and future directions","author":"Asmat Mah Noor","year":"2022","unstructured":"Mah Noor Asmat, Saif Ur Rehman Khan, and Shahid Hussain. 2022. Uncertainty handling in cyber\u2013physical systems: State-of-the-art approaches, tools, causes, and future directions. J. Softw.: Evol. Process (2022), e2428.","journal-title":"J. Softw.: Evol. Process"},{"key":"e_1_3_5_8_2","first-page":"1","volume-title":"Proceedings of the IEEE International Systems Conference (SysCon\u201922)","author":"Bergelin Johan","year":"2022","unstructured":"Johan Bergelin, Antonio Cicchetti, and Emil Lundin. 2022. Early validation of heterogeneous battery systems in the railway domain. In Proceedings of the IEEE International Systems Conference (SysCon\u201922). IEEE, 1\u20138."},{"key":"e_1_3_5_9_2","first-page":"288","volume-title":"Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919)","author":"Bilic Damir","year":"2019","unstructured":"Damir Bilic, Etienne Brosse, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, and Uwe Ryssel. 2019. An integrated model-based tool chain for managing variability in complex system design. In Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919). IEEE, 288\u2013293."},{"key":"e_1_3_5_10_2","volume-title":"Systems Engineering and Analysis","author":"Blanchard Benjamin S.","year":"1990","unstructured":"Benjamin S. Blanchard, Wolter J. Fabrycky, and Walter J. Fabrycky. 1990. Systems Engineering and Analysis. Vol. 4. Prentice-Hall Englewood Cliffs, NJ."},{"key":"e_1_3_5_11_2","volume-title":"Empirical Model-building and Response Surfaces.","author":"Box George E. P.","year":"1987","unstructured":"George E. P. Box and Norman R. Draper. 1987. Empirical Model-building and Response Surfaces.John Wiley & Sons."},{"key":"e_1_3_5_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00773-6"},{"key":"e_1_3_5_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2020.3041522"},{"key":"e_1_3_5_14_2","first-page":"168","volume-title":"Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919)","author":"Burgue\u00f1o Loli","year":"2019","unstructured":"Loli Burgue\u00f1o, Alexandru Burdusel, S\u00e9bastien G\u00e9rard, and Manuel Wimmer. 2019. Preface to MDE intelligence 2019: 1st workshop on artificial intelligence and model-driven engineering. In Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919). IEEE, 168\u2013169."},{"key":"e_1_3_5_15_2","first-page":"154","volume-title":"Federation of International Conferences on Software Technologies: Applications and Foundations","author":"Cabot Jordi","year":"2017","unstructured":"Jordi Cabot, Robert Claris\u00f3, Marco Brambilla, and S\u00e9bastien G\u00e9rard. 2017. Cognifying model-driven software engineering. In Federation of International Conferences on Software Technologies: Applications and Foundations. Springer, 154\u2013160."},{"key":"e_1_3_5_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552438"},{"key":"e_1_3_5_17_2","article-title":"Model-based systems engineering: Evaluating perceived value, metrics, and evidence through literature","author":"Campo Kelly X.","year":"2022","unstructured":"Kelly X. Campo, Thomas Teper, Casey E. Eaton, Anna M. Shipman, Garima Bhatia, and Bryan Mesmer. 2022. Model-based systems engineering: Evaluating perceived value, metrics, and evidence through literature. Syst. Eng. (2022).","journal-title":"Syst. Eng."},{"key":"e_1_3_5_18_2","doi-asserted-by":"crossref","unstructured":"Edward Ralph Carroll and Robert Joseph Malins. 2016. Systematic literature review: How is model-based systems engineering justified? https:\/\/www.osti.gov\/biblio\/1561164","DOI":"10.2172\/1561164"},{"key":"e_1_3_5_19_2","volume-title":"Asia Oceanic Systems Engineering Conference","author":"Cederbladh Johan","year":"2023","unstructured":"Johan Cederbladh and Jagadish Suryadevara. 2023. Towards a unified architecture methodology for product service systems. In Asia Oceanic Systems Engineering Conference."},{"key":"e_1_3_5_20_2","first-page":"1463","volume-title":"Proceedings of the INCOSE Annual International Symposium","author":"Chami Mohammad","year":"2018","unstructured":"Mohammad Chami, Aiste Aleksandraviciene, Aurelijus Morkevicius, and Jean-Michel Bruel. 2018. Towards solving MBSE adoption challenges: The D3 MBSE adoption toolbox. In Proceedings of the INCOSE Annual International Symposium, Vol. 28. Wiley Online Library, 1463\u20131477."},{"key":"e_1_3_5_21_2","unstructured":"M. Chami and J. M. Bruel. 2018. A Survey on MBSE Adoption Challenges. In INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC'18). 1--16."},{"key":"e_1_3_5_22_2","first-page":"1","volume-title":"Proceedings of the IEEE International Systems Conference (SysCon\u201921)","author":"Chaudemar Jean-Charles","year":"2021","unstructured":"Jean-Charles Chaudemar and Pierre de Saqui-Sannes. 2021. Mbse and mdao for early validation of design decisions: A bibliography survey. In Proceedings of the IEEE International Systems Conference (SysCon\u201921). IEEE, 1\u20138."},{"key":"e_1_3_5_23_2","volume-title":"The Innovator\u2019s Dilemma: When New Technologies Cause Great Firms to Fail","author":"Christensen Clayton M.","year":"2013","unstructured":"Clayton M. Christensen. 2013. The Innovator\u2019s Dilemma: When New Technologies Cause Great Firms to Fail. Harvard Business Review Press."},{"key":"e_1_3_5_24_2","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-030-39306-9_6","volume-title":"International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment","author":"Combemale Benoit","year":"2020","unstructured":"Benoit Combemale and Manuel Wimmer. 2020. Towards a model-based DevOps for cyber-physical systems. In International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment. Springer, 84\u201394."},{"key":"e_1_3_5_25_2","first-page":"2075","volume-title":"Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC\u201917)","author":"D\u2019Ambrosio Joseph","year":"2017","unstructured":"Joseph D\u2019Ambrosio and Grant Soremekun. 2017. Systems engineering challenges and MBSE opportunities for automotive system design. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC\u201917). IEEE, 2075\u20132080."},{"key":"e_1_3_5_26_2","article-title":"A taxonomy of MBSE approaches by languages, tools and methods","author":"Saqui-Sannes Pierre De","year":"2022","unstructured":"Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, and Xavier Thirioux. 2022. A taxonomy of MBSE approaches by languages, tools and methods. IEEE Access (2022).","journal-title":"IEEE Access"},{"key":"e_1_3_5_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2016.68"},{"issue":"8","key":"e_1_3_5_28_2","first-page":"1","article-title":"Survey of model-based systems engineering (MBSE) methodologies","volume":"25","author":"Estefan Jeff A.","year":"2007","unstructured":"Jeff A. Estefan et\u00a0al. 2007. Survey of model-based systems engineering (MBSE) methodologies. INCOSE MBSE Focus Group 25, 8 (2007), 1\u201312.","journal-title":"INCOSE MBSE Focus Group"},{"key":"e_1_3_5_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/s12567-017-0166-4"},{"key":"e_1_3_5_30_2","first-page":"207","volume-title":"Proceedings of the INCOSE Annual International Symposium","author":"Fisher Amit","year":"2014","unstructured":"Amit Fisher, Mike Nolan, Sanford Friedenthal, Michael Loeffler, Mark Sampson, Manas Bajaj, Lonnie VanZandt, Krista Hovey, John Palmer, and Laura Hart. 2014. 3.1. 1 model lifecycle management for MBSE. In Proceedings of the INCOSE Annual International Symposium, Vol. 24. Wiley Online Library, 207\u2013229."},{"key":"e_1_3_5_31_2","first-page":"1413","volume-title":"Proceedings of the 27th Conference on Winter Simulation","author":"Frantz Frederick K.","year":"1995","unstructured":"Frederick K. Frantz. 1995. A taxonomy of model abstraction techniques. In Proceedings of the 27th Conference on Winter Simulation. 1413\u20131420."},{"key":"e_1_3_5_32_2","volume-title":"Proceedings of the INCOSE Annual International Symposium","author":"Friedenthal Sanford","year":"2007","unstructured":"Sanford Friedenthal, Regina Griego, and Mark Sampson. 2007. INCOSE model based systems engineering (MBSE) initiative. In Proceedings of the INCOSE Annual International Symposium, Vol. 11. sn."},{"key":"e_1_3_5_33_2","first-page":"5","volume-title":"Proceedings of the 14th International VDI Congress Electronic Systems for Vehicles","author":"F\u00fcrst Simon","year":"2009","unstructured":"Simon F\u00fcrst, J\u00fcrgen M\u00f6ssinger, Stefan Bunzel, Thomas Weber, Frank Kirschke-Biller, Peter Heitk\u00e4mper, Gerulf Kinkelin, Kenji Nishikawa, and Klaus Lange. 2009. AUTOSAR\u2014A worldwide standard is on the road. In Proceedings of the 14th International VDI Congress Electronic Systems for Vehicles, Vol. 62. 5."},{"key":"e_1_3_5_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.07.006"},{"key":"e_1_3_5_35_2","first-page":"361","volume-title":"Dagstuhl Workshop on Model-based Engineering of Embedded Real-time Systems","author":"G\u00e9rard S\u00e9bastien","year":"2007","unstructured":"S\u00e9bastien G\u00e9rard, C\u00e9dric Dumoulin, Patrick Tessier, and Bran Selic. 2007. 19 Papyrus: A UML2 tool for domain-specific language modeling. In Dagstuhl Workshop on Model-based Engineering of Embedded Real-time Systems. Springer, 361\u2013368."},{"key":"e_1_3_5_36_2","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2020-0015"},{"key":"e_1_3_5_37_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110453"},{"key":"e_1_3_5_38_2","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11182901"},{"key":"e_1_3_5_39_2","volume-title":"Delaware Valley INCOSE Chapter Meeting","author":"Hart Laura E.","year":"2015","unstructured":"Laura E. Hart. 2015. Introduction to model-based system engineering (MBSE) and SysML. In Delaware Valley INCOSE Chapter Meeting, Vol. 30. Ramblewood Country Club Mount Laurel, New Jersey."},{"key":"e_1_3_5_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2933275"},{"key":"e_1_3_5_41_2","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21640"},{"key":"e_1_3_5_42_2","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21566"},{"key":"e_1_3_5_43_2","first-page":"1","volume-title":"Proceedings of the IEEE Aerospace Conference","author":"Holladay Jon B.","year":"2019","unstructured":"Jon B. Holladay, Jessica Knizhnik, Karen J. Weiland, Amanda Stein, Terry Sanders, and Paul Schwindt. 2019. MBSE infusion and modernization initiative (MIAMI): \u201cHot\u201d benefits for real NASA applications. In Proceedings of the IEEE Aerospace Conference. IEEE, 1\u201314."},{"key":"e_1_3_5_44_2","doi-asserted-by":"publisher","DOI":"10.1080\/09544828.2018.1513126"},{"key":"e_1_3_5_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410942"},{"key":"e_1_3_5_46_2","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21466"},{"issue":"14","key":"e_1_3_5_47_2","first-page":"5824","article-title":"The impact of stakeholder communication on project outcome","volume":"5","author":"Imran Haider Naqvi","year":"2011","unstructured":"Haider Naqvi Imran and Aziz Shazia. 2011. The impact of stakeholder communication on project outcome. Afr. J. Bus. Manage. 5, 14 (2011), 5824\u20135832.","journal-title":"Afr. J. Bus. Manage."},{"key":"e_1_3_5_48_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jclepro.2020.125683"},{"key":"e_1_3_5_49_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirpj.2020.02.002"},{"key":"e_1_3_5_50_2","first-page":"1","article-title":"Consistency management in industrial continuous model-based development settings: A reality check","author":"Jongeling Robbert","year":"2022","unstructured":"Robbert Jongeling, Federico Ciccozzi, Jan Carlson, and Antonio Cicchetti. 2022. Consistency management in industrial continuous model-based development settings: A reality check. Softw. Syst. Model. (2022), 1\u201320.","journal-title":"Softw. Syst. Model."},{"key":"e_1_3_5_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976773"},{"key":"e_1_3_5_52_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.03.006"},{"key":"e_1_3_5_53_2","first-page":"951","volume-title":"Proceedings of the Winter Simulation Conference","author":"Kotiadis Kathy","year":"2008","unstructured":"Kathy Kotiadis and Stewart Robinson. 2008. Conceptual modelling: Knowledge acquisition and model abstraction. In Proceedings of the Winter Simulation Conference. IEEE, 951\u2013958."},{"key":"e_1_3_5_54_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2019.103163"},{"key":"e_1_3_5_55_2","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/978-3-642-38088-4_19","volume-title":"NASA Formal Methods Symposium","author":"Larson Brian R.","year":"2013","unstructured":"Brian R. Larson, Patrice Chalin, and John Hatcliff. 2013. BLESS: Formal specification and verification of behaviors for embedded systems with software. In NASA Formal Methods Symposium. Springer, 276\u2013290."},{"key":"e_1_3_5_56_2","volume-title":"Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS\u201916)","author":"Sergent Thierrry Le","year":"2016","unstructured":"Thierrry Le Sergent, Fran\u00e7ois-Xavier Dormoy, and Alain Le Guennec. 2016. Benefits of model based system engineering for avionics systems. In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS\u201916)."},{"key":"e_1_3_5_57_2","first-page":"3","volume-title":"International Conference on Formal Aspects of Component Software","author":"Lee Edward A.","year":"2018","unstructured":"Edward A. Lee and Marjan Sirjani. 2018. What good are models? In International Conference on Formal Aspects of Component Software. Springer, 3\u201331."},{"key":"e_1_3_5_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2012.179"},{"key":"e_1_3_5_59_2","first-page":"1","volume-title":"Proceedings of the IEEE International Symposium on Systems Engineering (ISSE\u201921)","author":"Li Zihang","year":"2021","unstructured":"Zihang Li, Jinzhi Lu, Guoxin Wang, Lei Feng, Didem Gurdur Broo, and Dimitris Kiritsis. 2021. A Bibliometric Analysis on Model-based Systems Engineering. In Proceedings of the IEEE International Symposium on Systems Engineering (ISSE\u201921). IEEE, 1\u20138."},{"key":"e_1_3_5_60_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5634-5"},{"key":"e_1_3_5_61_2","doi-asserted-by":"publisher","DOI":"10.3390\/app12073431"},{"key":"e_1_3_5_62_2","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21438"},{"key":"e_1_3_5_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2020.3015595"},{"key":"e_1_3_5_64_2","doi-asserted-by":"publisher","DOI":"10.1504\/IJPLM.2021.115701"},{"key":"e_1_3_5_65_2","doi-asserted-by":"publisher","DOI":"10.3233\/ATDE220707"},{"key":"e_1_3_5_66_2","first-page":"767","volume-title":"Proceedings of the INCOSE Annual International Symposium","author":"Morkevicius Aurelijus","year":"2022","unstructured":"Aurelijus Morkevicius, Aiste Aleksandraviciene, and Zilvinas Strolia. 2022. System verification and validation approach using the magicgrid framework. In Proceedings of the INCOSE Annual International Symposium, Vol. 32. Wiley Online Library, 767\u2013781."},{"key":"e_1_3_5_67_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2021.05.073"},{"issue":"4","key":"e_1_3_5_68_2","first-page":"49","article-title":"Challenges in SysML model simulation","volume":"5","author":"Nikolaidou Mara","year":"2016","unstructured":"Mara Nikolaidou, George-Dimitrios Kapos, Anargyros Tsadimas, Vassilis Dalakas, and Dimosthenis Anagnostopoulos. 2016. Challenges in SysML model simulation. Adv. Comput. Sci. Int. J. 5, 4 (2016), 49\u201356.","journal-title":"Adv. Comput. Sci. Int. J."},{"key":"e_1_3_5_69_2","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2014.012114.00058"},{"key":"e_1_3_5_70_2","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21571"},{"key":"e_1_3_5_71_2","volume-title":"Proceedings of the No Magic World Symposium","author":"Parrott Edith","year":"2016","unstructured":"Edith Parrott. 2016. The value of successful MBSE adoption. In Proceedings of the No Magic World Symposium."},{"key":"e_1_3_5_72_2","first-page":"170","volume-title":"Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919)","author":"Pilarski Sebastian","year":"2019","unstructured":"Sebastian Pilarski, Martin Staniszewski, Frederic Villeneuve, and Daniel Varro. 2019. On artificial intelligence for simulation and design space exploration in gas turbine design. In Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C\u201919). IEEE, 170\u2013174."},{"key":"e_1_3_5_73_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2018.03.061"},{"key":"e_1_3_5_74_2","first-page":"1","volume-title":"Proceedings of the 11th System of Systems Engineering Conference (SoSE\u201916)","author":"Rashid Muhammad","year":"2016","unstructured":"Muhammad Rashid, Muhammad Waseem Anwar, Farooque Azam, and Muhammad Kashif. 2016. Model-based requirements and properties specifications trends for early design verification of embedded systems. In Proceedings of the 11th System of Systems Engineering Conference (SoSE\u201916). IEEE, 1\u20137."},{"key":"e_1_3_5_75_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.089"},{"issue":"6","key":"e_1_3_5_76_2","first-page":"1841","article-title":"Model-based software engineering (MBSE) and its various approaches and challenges","volume":"4","author":"Sandhu Reema","year":"2015","unstructured":"Reema Sandhu. 2015. Model-based software engineering (MBSE) and its various approaches and challenges. Compusoft 4, 6 (2015), 1841.","journal-title":"Compusoft"},{"key":"e_1_3_5_77_2","first-page":"725","volume-title":"Proceedings of the INCOSE Annual International Symposium","author":"Schindel Bill","year":"2016","unstructured":"Bill Schindel and Rick Dove. 2016. Introduction to the agile systems engineering life cycle MBSE pattern. In Proceedings of the INCOSE Annual International Symposium, Vol. 26. Wiley Online Library, 725\u2013742."},{"key":"e_1_3_5_78_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_5_79_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"e_1_3_5_80_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0083-4"},{"key":"e_1_3_5_81_2","doi-asserted-by":"publisher","DOI":"10.2514\/1.J057255"},{"key":"e_1_3_5_82_2","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20195"},{"key":"e_1_3_5_83_2","volume-title":"EMF: Eclipse Modeling Framework","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: Eclipse Modeling Framework. Pearson Education."},{"key":"e_1_3_5_84_2","first-page":"512","volume-title":"Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC\u201918)","author":"Suryadevara Jagadish","year":"2018","unstructured":"Jagadish Suryadevara and Saurabh Tiwari. 2018. Adopting MBSE in construction equipment industry: An experience report. In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC\u201918). IEEE, 512\u2013521."},{"key":"e_1_3_5_85_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2020.3011208"},{"key":"e_1_3_5_86_2","first-page":"725","volume-title":"International Symposium on Formal Methods","author":"Teige Tino","year":"2021","unstructured":"Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans J. Holberg, and Tom Bienm\u00fcller. 2021. Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. In International Symposium on Formal Methods. Springer, 725\u2013729."},{"key":"e_1_3_5_87_2","volume-title":"Proceedings of the 5th Student Conference on Operational Research (SCOR\u201916)","author":"Tsioptsias Naoum","year":"2016","unstructured":"Naoum Tsioptsias, Antuela Tako, and Stewart Robinson. 2016. Model validation and testing in simulation: A literature review. In Proceedings of the 5th Student Conference on Operational Research (SCOR\u201916). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_5_88_2","first-page":"182","volume-title":"International Conference on Product-Focused Software Process Improvement","author":"Vogelsang Andreas","year":"2017","unstructured":"Andreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, and Jan Philipps. 2017. Should I stay or should I go? On forces that drive and prevent MBSE adoption in the embedded systems industry. In International Conference on Product-Focused Software Process Improvement. Springer, 182\u2013198."},{"key":"e_1_3_5_89_2","first-page":"678","volume-title":"Proceedings of the INCOSE Annual International Symposium","author":"Walden David D.","year":"2015","unstructured":"David D. Walden, Garry J. Roedler, and Kevin Forsberg. 2015. INCOSE systems engineering handbook version 4: updating the reference for practitioners. In Proceedings of the INCOSE Annual International Symposium, Vol. 25. Wiley Online Library, 678\u2013686."},{"key":"e_1_3_5_90_2","first-page":"61","volume-title":"Proceedings of the IEEE 15th International Conference of System of Systems Engineering (SoSE\u201920)","author":"Wilking Fabian","year":"2020","unstructured":"Fabian Wilking, Benjamin Schleich, and Sandro Wartzack. 2020. MBSE along the value chain\u2013an approach for the compensation of additional effort. In Proceedings of the IEEE 15th International Conference of System of Systems Engineering (SoSE\u201920). IEEE, 61\u201366."},{"key":"e_1_3_5_91_2","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1007\/978-3-642-33666-9_47","volume-title":"International Conference on Model Driven Engineering Languages and Systems","author":"Williams James R.","year":"2012","unstructured":"James R. Williams, Frank R. Burton, Richard F. Paige, and Fiona A. C. Polack. 2012. Sensitivity analysis in model-driven engineering. In International Conference on Model Driven Engineering Languages and Systems. Springer, 743\u2013758."},{"key":"e_1_3_5_92_2","first-page":"1","volume-title":"Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering","author":"Wohlin Claes","year":"2014","unstructured":"Claes Wohlin. 2014. Guidelines for snowballing in systematic literature studies and a replication in software engineering. In Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering. 1\u201310."},{"key":"e_1_3_5_93_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"},{"key":"e_1_3_5_94_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3160194"},{"key":"e_1_3_5_95_2","doi-asserted-by":"publisher","DOI":"10.3390\/systems6040040"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3631976","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3631976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:51:02Z","timestamp":1750287062000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3631976"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,15]]},"references-count":243,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,3,31]]}},"alternative-id":["10.1145\/3631976"],"URL":"https:\/\/doi.org\/10.1145\/3631976","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,15]]},"assertion":[{"value":"2023-04-06","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-19","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-03-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}