{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T07:14:05Z","timestamp":1765610045040,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Bombardier Transport SAS"},{"name":"ANRT CIFRE","award":["2016\/0262"],"award-info":[{"award-number":["2016\/0262"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,30]]},"DOI":"10.1145\/3341105.3373944","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"1798-1805","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and verification method for an early evaluation of systems of systems interactions"],"prefix":"10.1145","author":[{"given":"Ronan","family":"Baduel","sequence":"first","affiliation":[{"name":"University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Bruel","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Symposium on Complex Systems Engineering, RAND Corporation","author":"Abbott R. J.","year":"2007","unstructured":"R. J. Abbott . 2007 . Emergence and systems engineering: putting complex systems to work . In Symposium on Complex Systems Engineering, RAND Corporation , Santa Monica, CA. 11--12. R. J. Abbott. 2007. Emergence and systems engineering: putting complex systems to work. In Symposium on Complex Systems Engineering, RAND Corporation, Santa Monica, CA. 11--12."},{"volume-title":"Modeling in Event-B: system and software engineering","author":"Abrial Jean-Raymond","unstructured":"Jean-Raymond Abrial . 2010. Modeling in Event-B: system and software engineering . Cambridge University Press , Cambridge; New York . OCLC: 646068815. Jean-Raymond Abrial. 2010. Modeling in Event-B: system and software engineering. Cambridge University Press, Cambridge; New York. OCLC: 646068815.","key":"e_1_3_2_1_2_1"},{"unstructured":"R. Baduel JM Bruel I. Ober and E. Doba. 2018. Definition of states and modes as general concepts for system design and validation. (2018). https:\/\/hal.archives-ouvertes.fr\/hal-01989427  R. Baduel JM Bruel I. Ober and E. Doba. 2018. Definition of states and modes as general concepts for system design and validation. (2018). https:\/\/hal.archives-ouvertes.fr\/hal-01989427","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/978-1-4614-4529-6"},{"unstructured":"Paul Baracos. 1992. Grafcet step by step. Famic Automation Incorporated.  Paul Baracos. 1992. Grafcet step by step . Famic Automation Incorporated.","key":"e_1_3_2_1_5_1"},{"volume-title":"Abstract state machines: a method for high-level system design and analysis","author":"B\u00f6rger Egon","unstructured":"Egon B\u00f6rger and Robert St\u00e4rk . 2003. Abstract state machines: a method for high-level system design and analysis . Springer Science & Business Media . Egon B\u00f6rger and Robert St\u00e4rk. 2003. Abstract state machines: a method for high-level system design and analysis. Springer Science & Business Media.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","volume-title":"The Swiss Systems Engineering Day (SWISSED","author":"Chami Mohammad","year":"2015","unstructured":"Mohammad Chami , Philipp Oggier , Omar Naas , and Matthias Heinz . 2015. Real World Application of MBSE at Bombardier Transportation . In The Swiss Systems Engineering Day (SWISSED 2015 ), Kongresshaus Zurich . Mohammad Chami, Philipp Oggier, Omar Naas, and Matthias Heinz. 2015. Real World Application of MBSE at Bombardier Transportation. In The Swiss Systems Engineering Day (SWISSED 2015), Kongresshaus Zurich."},{"key":"e_1_3_2_1_9_1","volume-title":"Panchal","author":"Fujimoto Richard","year":"2017","unstructured":"Richard Fujimoto , Conrad Bock , Wei Chen , Ernest Page , and Jitesh H . Panchal . 2017 . Research challenges in modeling and simulation for engineering complex systems. Springer . Richard Fujimoto, Conrad Bock, Wei Chen, Ernest Page, and Jitesh H. Panchal. 2017. Research challenges in modeling and simulation for engineering complex systems. Springer."},{"key":"e_1_3_2_1_10_1","volume-title":"Statecharts: A visual formalism for complex systems. Science of computer programming 8, 3","author":"Harel David","year":"1987","unstructured":"David Harel . 1987 . Statecharts: A visual formalism for complex systems. Science of computer programming 8, 3 (1987), 231--274. David Harel. 1987. Statecharts: A visual formalism for complex systems. Science of computer programming 8, 3 (1987), 231--274."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1002\/j.2334-5837.2004.tb00608.x"},{"volume-title":"Introducrion to Automata Theory, Languages and Computation","author":"Hopcroft John","unstructured":"John Hopcroft , Rajeev Motwani , and Jeffrey Ullman . 2001. Introducrion to Automata Theory, Languages and Computation . Addison-Wesley . John Hopcroft, Rajeev Motwani, and Jeffrey Ullman. 2001. Introducrion to Automata Theory, Languages and Computation. Addison-Wesley.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Tag des Systems Engineering (TdSE 10)","author":"Jesko","year":"2010","unstructured":"Jesko G. Lamm and Tim Weilkiens. 2010. Functional Architectures in SysML . Proceedings of the Tag des Systems Engineering (TdSE 10) . Munich, Germany ( 2010 ). Jesko G. Lamm and Tim Weilkiens. 2010. Functional Architectures in SysML. Proceedings of the Tag des Systems Engineering (TdSE 10). Munich, Germany (2010)."},{"unstructured":"Jean-Louis Le Moigne. 1994. La th\u00e9orie du syst\u00e8me g\u00e9n\u00e9ral: th\u00e9orie de la mod\u00e9lisation. Presses Universitaires de France.  Jean-Louis Le Moigne. 1994. La th\u00e9orie du syst\u00e8me g\u00e9n\u00e9ral: th\u00e9orie de la mod\u00e9lisation . Presses Universitaires de France.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","volume-title":"Moncada","author":"Ingham Michel D.","year":"2005","unstructured":"Michel D. Ingham , Robert D. Rasmussen , Matthew B. Bennett , and Alex C . Moncada . 2005 . Engineering Complex Embedded Systems with State Analysis and the Mission Data System. AIAA Journal of Aerospace Computing, Information, and Communication , Vol. 2 . Michel D. Ingham, Robert D. Rasmussen, Matthew B. Bennett, and Alex C. Moncada. 2005. Engineering Complex Embedded Systems with State Analysis and the Mission Data System. AIAA Journal of Aerospace Computing, Information, and Communication, Vol. 2."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/978-3-319-11653-2_7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1007\/978-3-319-08699-6"}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC '20","name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","location":"Brno Czech Republic"},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373944","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3373944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:29Z","timestamp":1750199909000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":16,"alternative-id":["10.1145\/3341105.3373944","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3373944","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}