{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T04:17:06Z","timestamp":1784607426899,"version":"3.55.0"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T00:00:00Z","timestamp":1628899200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T00:00:00Z","timestamp":1628899200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007069","name":"Universit\u00e0 della Calabria","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007069","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2022,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.<\/jats:p>","DOI":"10.1007\/s00766-021-00359-z","type":"journal-article","created":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T17:02:33Z","timestamp":1628960553000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica"],"prefix":"10.1007","volume":"27","author":[{"given":"Daniel","family":"Bouskela","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Falcone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0351-0869","authenticated-orcid":false,"given":"Alfredo","family":"Garro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Audrey","family":"Jardin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Otter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nguyen","family":"Thuy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Tundis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,8,14]]},"reference":[{"issue":"2","key":"359_CR1","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/MC.2014.30","volume":"47","author":"M Broy","year":"2014","unstructured":"Broy M, Schmidt A (2014) Challenges in engineering cyber-physical systems. Computer 47(2):70\u201372","journal-title":"Computer"},{"key":"359_CR2","doi-asserted-by":"publisher","DOI":"10.1177\/0037549719829828","author":"P Bocciarelli","year":"2019","unstructured":"Bocciarelli P, D\u2019Ambrogio A, Falcone A, Garro A, Giglio A (2019) A model-driven approach to enable the simulation of complex systems on distributed architectures. Simul Trans Soc Model Simul Int. https:\/\/doi.org\/10.1177\/0037549719829828","journal-title":"Simul Trans Soc Model Simul Int"},{"key":"359_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61073-3","volume-title":"Requirements engineering","author":"J Dick","year":"2017","unstructured":"Dick J, Hull E, Jackson K (2017) Requirements engineering. Springer, Berlin"},{"key":"359_CR4","doi-asserted-by":"publisher","unstructured":"Cheng BHC, Atlee JM (2007) Research directions in requirements engineering. In: International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, pp. 285\u2013303. https:\/\/doi.org\/10.1109\/FOSE.2007.17","DOI":"10.1109\/FOSE.2007.17"},{"key":"359_CR5","volume-title":"Hazard analysis techniques for system safety","author":"CA Ericson","year":"2015","unstructured":"Ericson CA et al (2015) Hazard analysis techniques for system safety. Wiley, Hoboken"},{"issue":"3","key":"359_CR6","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/j.jocs.2013.06.003","volume":"5","author":"A Garro","year":"2014","unstructured":"Garro A, Gro\u00df J, Gen Richter MR, Tundis A (2014) Reliability analysis of an attitude determination and control system (ADCS) through the RAMSAS method. J Comput Sci 5(3):439\u2013449. https:\/\/doi.org\/10.1016\/j.jocs.2013.06.003","journal-title":"J Comput Sci"},{"issue":"1","key":"359_CR7","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1109\/JSYST.2014.2321617","volume":"9","author":"A Garro","year":"2015","unstructured":"Garro A, Tundis A (2015) On the reliability analysis of systems and SoS: the RAMSAS method and related extensions. IEEE Syst J 9(1):232\u2013241. https:\/\/doi.org\/10.1109\/JSYST.2014.2321617","journal-title":"IEEE Syst J"},{"issue":"2","key":"359_CR8","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.eswa.2012.08.010","volume":"40","author":"HC Liu","year":"2013","unstructured":"Liu HC, Liu L, Liu N (2013) Risk evaluation approaches in failure mode and effects analysis: A literature review. Expert Syst Appl 40(2):828\u2013838","journal-title":"Expert Syst Appl"},{"issue":"3","key":"359_CR9","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1057\/s41273-016-0039-4","volume":"11","author":"A Falcone","year":"2017","unstructured":"Falcone A, Garro A, Taylor SJE, Anagnostou A, Chaudhry NR, Salah O (2017) Experiences in simplifying distributed simulation: The HLA development kit framework. J Simul 11(3):208\u2013227. https:\/\/doi.org\/10.1057\/s41273-016-0039-4","journal-title":"J Simul"},{"key":"359_CR10","unstructured":"ITEA 3 MODRIO: Model driven physical systems operation project (2018). https:\/\/itea3.org\/project\/modrio.html. Accessed 23 Jun 2018"},{"issue":"1","key":"359_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/TSMCC.2011.2106495","volume":"42","author":"AL Ramos","year":"2011","unstructured":"Ramos AL, Ferreira JV, Barcel\u00f3 J (2011) Model-based systems engineering: an emerging approach for modern systems. IEEE Trans Syst Man Cybern Part C (Appl Rev) 42(1):101\u2013111","journal-title":"IEEE Trans Syst Man Cybern Part C (Appl Rev)"},{"key":"359_CR12","doi-asserted-by":"crossref","unstructured":"Jardin A, Bouskela D, Nguyen T, Ruel N, Thomas E, Chastanet L, Schoenig R, Loemb\u00e9 S (2011) Modelling of system properties in a Modelica framework. In: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany, 63, pp. 579\u2013592. Link\u00f6ping University Electronic Press","DOI":"10.3384\/ecp11063579"},{"key":"359_CR13","unstructured":"Wu J, Liu G, Lane V (1999) Formal verification. CIS 841 Web Book"},{"key":"359_CR14","unstructured":"Modelica Association: the Modelica association international home page (2018). https:\/\/www.modelica.org\/. Accessed 23 June 2018"},{"key":"359_CR15","doi-asserted-by":"crossref","unstructured":"Nguyen T (2014) Form-l: A Modelica extension for properties modelling illustrated on a practical example. In: Proceedings of the 10 th International Modelica Conference; March 10-12; 2014; Lund; Sweden, 096, pp. 1227\u20131236. Link\u00f6ping University Electronic Press","DOI":"10.3384\/ecp140961227"},{"key":"359_CR16","doi-asserted-by":"crossref","unstructured":"Aiello F, Garro A, Lemmens Y, Dutr\u00e9 S (2017) Simulation-based verification of system requirements: An integrated solution. In: Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control (ICNSC), pp. 726\u2013731. IEEE","DOI":"10.1109\/ICNSC.2017.8000180"},{"key":"359_CR17","doi-asserted-by":"crossref","unstructured":"Garro A, Tundis A (2015) Modeling of system properties: Research challenges and promising solutions. In: Systems Engineering (ISSE), 2015 IEEE International Symposium on Systems Engineering, pp. 324\u2013331. IEEE","DOI":"10.1109\/SysEng.2015.7302777"},{"key":"359_CR18","doi-asserted-by":"crossref","unstructured":"Garro A, Tundis A, Bouskela D, Jardin A, Thuy N, Otter M, Buffoni L, Fritzson P, Sj\u00f6lund M, Schamai W, et\u00a0al (2016) On formal cyber physical system properties modeling: A new temporal logic language and a modelica-based solution. In: 2016 IEEE International Symposium on Systems Engineering (ISSE), pp. 1\u20138. IEEE","DOI":"10.1109\/SysEng.2016.7753137"},{"key":"359_CR19","doi-asserted-by":"crossref","unstructured":"Otter M, Thuy N, Bouskela D, Buffoni L, Elmqvist H, Fritzson P, Garro A, Jardin A, Olsson H, Payelleville M, et\u00a0al (2015) Formal requirements modeling for simulation-based verification. In: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015, 118, pp. 625\u2013635. Link\u00f6ping University Electronic Press","DOI":"10.3384\/ecp15118625"},{"key":"359_CR20","unstructured":"Pinqui\u00e9 R, Micouin P, V\u00e9ron P, Segonds F (2016) Property model methodology: a case study with modelica. Tools and Methods of Competitive Engineering (TMCE)"},{"key":"359_CR21","volume-title":"Principles of cyber-physical systems","author":"R Alur","year":"2015","unstructured":"Alur R (2015) Principles of cyber-physical systems. MIT Press, Cambridge"},{"key":"359_CR22","unstructured":"Falcone A, Garro A, Tundis A (2014) Modeling and simulation for the performance evaluation of the on-board communication system of a metro train. In: Proceedings of the 13th International Conference on Modeling and Applied Simulation (MAS 2014), Bordeaux (France)"},{"key":"359_CR23","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan S, Sipma HB, Manna Z (2004) Constructing invariants for hybrid systems. In: International Workshop on Hybrid Systems: Computation and Control, pp. 539\u2013554. Springer","DOI":"10.1007\/978-3-540-24743-2_36"},{"key":"359_CR24","unstructured":"ISO\/IEC\/IEEE 15288:2015: ISO\/IEC\/IEEE 15288:2015. Systems and software engineering: system life cycle processes (2015)"},{"key":"359_CR25","doi-asserted-by":"crossref","unstructured":"Knight JC (2002) Safety critical systems: challenges and directions. In: Proceedings of the 24th international conference on software engineering, pp. 547\u2013550. ACM","DOI":"10.1145\/581339.581406"},{"key":"359_CR26","doi-asserted-by":"crossref","unstructured":"Ferrari A (2018) Natural language requirements processing: From research to practice. In: 2018 IEEE\/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), pp. 536\u2013537","DOI":"10.1145\/3183440.3183467"},{"key":"359_CR27","doi-asserted-by":"crossref","unstructured":"Reiterer SH, Balci S, Fu D, Benedikt M, Soppa A, Szczerbicka H (2020) Continuous integration for vehicle simulations. In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), vol.\u00a01, pp. 1023\u20131026. IEEE","DOI":"10.1109\/ETFA46521.2020.9211976"},{"key":"359_CR28","doi-asserted-by":"publisher","unstructured":"Ji J, Peng R (2016) An analysis pattern driven requirements modeling method. In: 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), pp. 316\u2013319. https:\/\/doi.org\/10.1109\/REW.2016.058","DOI":"10.1109\/REW.2016.058"},{"key":"359_CR29","doi-asserted-by":"crossref","unstructured":"Ledru Y, Blein Y, du Bousquet L, Groz R, Clere A, Bertrand F (2018) Requirements for a trace property language for medical devices. In: 2018 IEEE\/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS), pp. 30\u201333","DOI":"10.1145\/3194696.3194699"},{"key":"359_CR30","doi-asserted-by":"publisher","unstructured":"Ferrari A, Spagnolo GO, Gnesi S (2017) Pure: A dataset of public requirements documents. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), pp. 502\u2013505. https:\/\/doi.org\/10.1109\/RE.2017.29","DOI":"10.1109\/RE.2017.29"},{"key":"359_CR31","doi-asserted-by":"publisher","unstructured":"Yang K, Zhao Q, Lu Y, Huang W (2009) The research of system of systems requirement modeling and toolkits. In: 2009 11th International Conference on Computer Modelling and Simulation, pp. 107\u2013110. https:\/\/doi.org\/10.1109\/UKSIM.2009.115","DOI":"10.1109\/UKSIM.2009.115"},{"issue":"3","key":"359_CR32","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F Zambonelli","year":"2003","unstructured":"Zambonelli F, Jennings NR, Wooldridge M (2003) Developing multiagent systems: the gaia methodology. ACM Trans Softw Eng Methodol (TOSEM) 12(3):317\u2013370","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"key":"359_CR33","doi-asserted-by":"crossref","unstructured":"Buffoni-Rogovchenko L, Fritzson P, Nyberg M, Garro A, Tundis A (2013) Requirement verification and dependency tracing during simulation in modelica. In: Modelling and Simulation (EUROSIM), 2013 8th EUROSIM Congress on, pp. 561\u2013566. IEEE","DOI":"10.1109\/EUROSIM.2013.99"},{"key":"359_CR34","unstructured":"Rogovchenko-Buffoni L, Tundis A, Fritzson P, Garro A (2013) Modeling system requirements in Modelica: Definition and comparison of candidate approaches. In: Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2013, April 19, University of Nottingham, Nottingham, UK, pp. 15\u201324"},{"key":"359_CR35","doi-asserted-by":"crossref","unstructured":"Fritzson P (2014) Principles of object-oriented modeling and simulation with Modelica 3.3: a cyber-physical approach. Wiley","DOI":"10.1002\/9781118989166"},{"key":"359_CR36","unstructured":"Open Modelica: The Open Modelica website (2019). https:\/\/www.openmodelica.org\/. Accessed 20 Dec 2019"},{"key":"359_CR37","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-20398-5_3","volume-title":"NASA Formal Methods","author":"A Bauer","year":"2011","unstructured":"Bauer A, Leucker M (2011) The Theory and Practice of SALT. In: Bobaru M, Havelund K, Holzmann GJ, Joshi R (eds) NASA Formal Methods. Springer, Berlin Heidelberg, pp 13\u201340. https:\/\/doi.org\/10.1007\/978-3-642-20398-5_3"},{"key":"359_CR38","unstructured":"Object Management Group (OMG): Systems modeling language (SysML) (2019). www.omgsysml.org\/. Accessed 20 Dec 2019"},{"key":"359_CR39","doi-asserted-by":"crossref","unstructured":"Behjati R, Yue T, Nejati S, Briand L, Selic B (2011) Extending SysML with AADL concepts for comprehensive system architecture modeling. In: European Conference on Modelling Foundations and Applications, pp. 236\u2013252. Springer","DOI":"10.1007\/978-3-642-21470-7_17"},{"key":"359_CR40","unstructured":"de\u00a0Saqui-Sannes P, Hugues J (2012) Combining SysML and AADL for the design, validation and implementation of critical systems. In: ERTS2 2012, p. 117"},{"key":"359_CR41","doi-asserted-by":"crossref","unstructured":"Vilela J, Castro J, Martins LEG, Gorschek T, Silva C (2017) Specifying safety requirements with gore languages. In: Proceedings of the 31st Brazilian Symposium on Software Engineering, pp. 154\u2013163","DOI":"10.1145\/3131151.3131175"},{"key":"359_CR42","unstructured":"Joochim T, Poppleton M (2007) Transforming timing diagrams into knowledge acquisition in automated specification"},{"key":"359_CR43","doi-asserted-by":"publisher","unstructured":"Krishna A, Le\u00a0Pallec M, Mateescu R, Noirie L, Sala\u00c3n G (2019) Iot composer: composition and deployment of IoT applications. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 19\u201322. https:\/\/doi.org\/10.1109\/ICSE-Companion.2019.00028","DOI":"10.1109\/ICSE-Companion.2019.00028"},{"key":"359_CR44","doi-asserted-by":"publisher","unstructured":"Shmeleva TR (2017) Automated composition of petri net models for cellular structures. In: 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON), pp. 1019\u20131024 https:\/\/doi.org\/10.1109\/UKRCON.2017.8100405","DOI":"10.1109\/UKRCON.2017.8100405"},{"key":"359_CR45","doi-asserted-by":"publisher","unstructured":"Zhu W, Bastani F, Yen I, Fu J, Zhang Y (2017) Automated holistic service composition: modeling and composition reasoning techniques. In: 2017 IEEE International Conference on Web Services (ICWS), pp. 596\u2013603. https:\/\/doi.org\/10.1109\/ICWS.2017.70","DOI":"10.1109\/ICWS.2017.70"},{"key":"359_CR46","doi-asserted-by":"publisher","unstructured":"Castellanos C, Borde E, Pautet L, S\u00e9bastien G, Vergnaud T (2015) Improving reusability of model transformations by automating their composition. In: 2015 41st Euromicro Conference on Software Engineering and Advanced Applications, pp. 267\u2013274. https:\/\/doi.org\/10.1109\/SEAA.2015.76","DOI":"10.1109\/SEAA.2015.76"},{"key":"359_CR47","doi-asserted-by":"publisher","unstructured":"Maigre R (2010) Survey of the tools for automating service composition. In: 2010 IEEE International Conference on Web Services, pp. 628\u2013629. https:\/\/doi.org\/10.1109\/ICWS.2010.72","DOI":"10.1109\/ICWS.2010.72"},{"issue":"2","key":"359_CR48","doi-asserted-by":"publisher","first-page":"79","DOI":"10.4173\/mic.2014.2.2","volume":"35","author":"W Schamai","year":"2014","unstructured":"Schamai W, Buffoni L, Fritzson P (2014) An approach to automated model composition illustrated in the context of design verification. Model Identif Control 35(2):79","journal-title":"Model Identif Control"},{"key":"359_CR49","doi-asserted-by":"publisher","unstructured":"De\u00a0Giacomo G, Mecella M, Patrizi F (2014) Automated service composition based on behaviors: The roman model. In: Web Services Foundations, pp. 189\u2013214. https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_8","DOI":"10.1007\/978-1-4614-7518-7_8"},{"issue":"2","key":"359_CR50","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10515-011-0080-5","volume":"18","author":"M Rosenm\u00fcller","year":"2011","unstructured":"Rosenm\u00fcller M, Siegmund N, Apel S, Saake G (2011) Flexible feature binding in software product lines. Autom Softw Eng 18(2):163\u2013197","journal-title":"Autom Softw Eng"},{"key":"359_CR51","doi-asserted-by":"publisher","unstructured":"Granda MF, Condori-Fernandez N, Vos TEJ, Pastor O (2017) Costest: A tool for validation of requirements at model level. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), pp. 464\u2013467. https:\/\/doi.org\/10.1109\/RE.2017.69","DOI":"10.1109\/RE.2017.69"},{"key":"359_CR52","doi-asserted-by":"publisher","unstructured":"Adedjouma M, Yakymets N (2019) A framework for model-based dependability analysis of cyber-physical systems. In: 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), pp. 82\u201389. https:\/\/doi.org\/10.1109\/HASE.2019.00022","DOI":"10.1109\/HASE.2019.00022"},{"key":"359_CR53","unstructured":"Dassault Syst\u00e8mes: The stimulus project home page (2020). https:\/\/www.argosim.com. Accessed 31 Jan 2020"},{"key":"359_CR54","doi-asserted-by":"crossref","unstructured":"Reinbacher T, Rozier KY, Schumann J (2014) Temporal-logic based runtime observer pairs for system health management of real-time systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 357\u2013372. Springer","DOI":"10.1007\/978-3-642-54862-8_24"},{"key":"359_CR55","doi-asserted-by":"publisher","unstructured":"Sippl C, Bock F, Lauer C, Heinz A, Neumayer T, German R (2019) Scenario-based systems engineering: An approach towards automated driving function development. In: 2019 IEEE International Systems Conference (SysCon), pp. 1\u20138. https:\/\/doi.org\/10.1109\/SYSCON.2019.8836763","DOI":"10.1109\/SYSCON.2019.8836763"},{"key":"359_CR56","doi-asserted-by":"crossref","unstructured":"Balsini A, Di\u00a0Natale M, Celia M, Tsachouridis V (2017) Generation of Simulink monitors for control applications from formal requirements. In: 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 1\u20139. IEEE","DOI":"10.1109\/SIES.2017.7993389"},{"key":"359_CR57","doi-asserted-by":"publisher","unstructured":"Mavridou A, Bourbouh H, Giannakopoulou D, Pressburger T, Hejase M, Garoche PL, Schumann J (2020) The Ten Lockheed Martin Cyber-Physical Challenges: formalized, Analyzed, and Explained. In: 2020 IEEE 28th International Requirements Engineering Conference (RE), pp. 300\u2013310. IEEE. https:\/\/doi.org\/10.1109\/RE48521.2020.00040","DOI":"10.1109\/RE48521.2020.00040"},{"key":"359_CR58","doi-asserted-by":"publisher","unstructured":"Mustafa N, Labiche Y, Towey D (2018) Traceability in systems engineering: An avionics case study. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 02, pp. 818\u2013823. https:\/\/doi.org\/10.1109\/COMPSAC.2018.10345","DOI":"10.1109\/COMPSAC.2018.10345"},{"issue":"12","key":"359_CR59","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/290133.290145","volume":"41","author":"M Jarke","year":"1998","unstructured":"Jarke M (1998) Requirements tracing. Commun ACM 41(12):32\u201336","journal-title":"Commun ACM"},{"key":"359_CR60","doi-asserted-by":"crossref","unstructured":"Shankar N (2000) Combining theorem proving and model checking through symbolic analysis. In: International Conference on Concurrency Theory, pp. 1\u201316. Springer","DOI":"10.1007\/3-540-44618-4_1"},{"key":"359_CR61","unstructured":"Open Services for Lifecycle Collaboration (OSLC): The oslc international home page (2021). https:\/\/open-services.net\/. Accessed 01 Jan 2021"},{"key":"359_CR62","doi-asserted-by":"publisher","unstructured":"IEEE Std 24748-1-2011: IEEE Guide\u2013Adoption of ISO\/IEC TR 24748-1:2010 Systems and Software Engineering\u2013Life Cycle Management\u2013Part 1: Guide for Life Cycle Management (2011). https:\/\/doi.org\/10.1109\/IEEESTD.2011.5871657","DOI":"10.1109\/IEEESTD.2011.5871657"},{"key":"359_CR63","doi-asserted-by":"crossref","unstructured":"Bouskela D, Jardin A (2018) ETL: A new temporal language for the verification of cyber-physical systems. In: 2018 Annual IEEE International Systems Conference (SysCon), pp. 1\u20138. IEEE","DOI":"10.1109\/SYSCON.2018.8369502"},{"issue":"2\u20133","key":"359_CR64","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1561\/1000000053","volume":"12","author":"A Benveniste","year":"2018","unstructured":"Benveniste A, Caillaud B, Nickovic D, Passerone R, Raclet JB, Reinkemeier P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA, Larsen KG et al (2018) Contracts for system design. Found Trends\u00ae in Electron Des Autom 12(2\u20133):124\u2013400","journal-title":"Found Trends\u00ae in Electron Des Autom"},{"issue":"2","key":"359_CR65","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/CJECE.2016.2630421","volume":"40","author":"D Bouskela","year":"2017","unstructured":"Bouskela D, Nguyen T, Jardin A (2017) Toward a rigorous approach for verifying cyber-physical systems against requirements. Can J Electr Comput Eng 40(2):66\u201373","journal-title":"Can J Electr Comput Eng"},{"key":"359_CR66","unstructured":"Daimler AG: The functional mock-up interface (FMI) standard home page (2019). http:\/\/www.fmi-standard.org. Accessed 23 Jun 2019"},{"issue":"3","key":"359_CR67","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3179993","volume":"51","author":"C Gomes","year":"2018","unstructured":"Gomes C, Thule C, Broman D, Larsen PG, Vangheluwe H (2018) Co-simulation: a survey. ACM Comput Surv (CSUR) 51(3):1\u201333","journal-title":"ACM Comput Surv (CSUR)"},{"key":"359_CR68","unstructured":"Dal\u00a0Monte A, Castelli MR, Benini E (2012) A retrospective of high-lift device technology. In: Proceedings of World Academy of Science, Engineering and Technology, 71, p. 1979. World Academy of Science, Engineering and Technology (WASET)"},{"key":"359_CR69","unstructured":"Siemens: Siemens amesim-motion simulation environment home page (2019). https:\/\/www.plm.automation.siemens.com. Accessed 23 Jun 2019"},{"key":"359_CR70","unstructured":"Garro A, Falcone A (2015) On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation. In: Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, part of the 2015 Spring Simulation Multiconference, SpringSim 2015, Alexandria, VA, USA, April 12-15, 2014, pp. 9\u201316. The Society for Modeling and Simulation International Inc.. http:\/\/dl.acm.org\/citation.cfm?id=2872967"},{"key":"359_CR71","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2019.101967","author":"A Falcone","year":"2019","unstructured":"Falcone A, Garro A (2019) Distributed co-simulation of complex engineered systems by combining the high level architecture and functional mock-up interface. Simul Model Pract Theory. https:\/\/doi.org\/10.1016\/j.simpat.2019.101967","journal-title":"Simul Model Pract Theory"},{"issue":"4","key":"359_CR72","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s13272-016-0202-7","volume":"7","author":"D Zaccai","year":"2016","unstructured":"Zaccai D, Bertels F, Vos R (2016) Design methodology for trailing-edge high-lift mechanisms. CEAS Aeronaut J 7(4):521\u2013534","journal-title":"CEAS Aeronaut J"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-021-00359-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00766-021-00359-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-021-00359-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T13:53:38Z","timestamp":1644846818000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00766-021-00359-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,14]]},"references-count":72,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["359"],"URL":"https:\/\/doi.org\/10.1007\/s00766-021-00359-z","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,8,14]]},"assertion":[{"value":"17 July 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 July 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 August 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"All authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}