{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:07:09Z","timestamp":1764284829620,"version":"3.46.0"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032120854"},{"type":"electronic","value":"9783032120861"}],"license":[{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-12086-1_4","type":"book-chapter","created":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T08:36:11Z","timestamp":1764146171000},"page":"61-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Research Agenda for\u00a0the\u00a0Living SysML V2 Blueprint: Toward Executable, Verifiable, and\u00a0Navigable System Models"],"prefix":"10.1007","author":[{"given":"Ciprian","family":"Teodorov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas","family":"Lima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sidney C.","family":"Nogueira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Guerin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Lagadec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,27]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1007\/s10270-013-0358-0","volume":"14","author":"L Ab.\u00a0Rahim","year":"2013","unstructured":"Ab.\u00a0Rahim, L., Whittle, J.: A survey of approaches for verifying model transformations. Softw. Syst. Model. 14(2), 1003\u20131028 (2013). https:\/\/doi.org\/10.1007\/s10270-013-0358-0","journal-title":"Softw. Syst. Model."},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Almeida, J.a.P.A., Ferreira\u00a0Pires, L., Guizzardi, G., Wagner, G.: An analysis of the semantic foundation of KerML and SysML v2. In: Conceptual Modeling: 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28\u201331, 2024, Proceedings, pp. 133\u2013151. Springer-Verlag, Berlin, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-75872-0_8","DOI":"10.1007\/978-3-031-75872-0_8"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Amrani, M., et al.: A survey of federative approaches for model management in MBSE. In: Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, pp. 990\u2013999 (2024)","DOI":"10.1145\/3652620.3688221"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Bach, J.C., Beugnard, A., Champeau, J., Dagnat, F., Gu\u00e9rin, S., Mart\u00ednez, S.: 10 years of model federation with openflexo: challenges and lessons learned. In: MODELS 2024: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, pp.\u00a012. ACM, Linz, Austria (Sep 2024). https:\/\/doi.org\/10.1145\/3640310.3674084, best Paper Award, Practice Track","DOI":"10.1145\/3640310.3674084"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/inst.12367","volume":"25","author":"M Bajaj","year":"2022","unstructured":"Bajaj, M., Friedenthal, S., Seidewitz, E.: Systems modeling language (SysML v2) support for digital engineering. Insight 25(1), 19\u201324 (2022)","journal-title":"Insight"},{"key":"4_CR6","unstructured":"Berthomieu, B., et al.: Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. In: 4th European Congress ERTS Embedded Real Time Software (ERTS 2008), pp.\u00a01\u20138. SEE : Soci\u00e9t\u00e9 de l\u2019\u00e9lectricit\u00e9, de l\u2019\u00e9lectronique et des technologies de l\u2019information et de la communication and 3AF : Association A\u00e9ronautique et Astronautique de France, Toulouse, France (Jan 2008). https:\/\/inria.hal.science\/inria-00262442"},{"issue":"6","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1825","DOI":"10.1007\/s10270-021-00923-9","volume":"20","author":"V Besnard","year":"2021","unstructured":"Besnard, V., Teodorov, C., Jouault, F., Brun, M., Dhaussy, P.: Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. 20(6), 1825\u20131855 (2021). https:\/\/doi.org\/10.1007\/s10270-021-00923-9","journal-title":"Softw. Syst. Model."},{"key":"4_CR8","unstructured":"Bone, M.A., Cloutier, R.J.: The current state of model based systems engineering: results from the OMG\u2122 SysML request for information 2009. In: Proceedings of the 8th Conference on Systems Engineering Research (2010)"},{"key":"4_CR9","unstructured":"Brandl, K., Erdweg, S., Keidel, S., Hansen, N.: Modular abstract definitional interpreters for webassembly. In: Ali, K., Salvaneschi, G. (eds.) 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0263, pp. 5:1\u20135:28. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2023). https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/LIPIcs.ECOOP.2023.5"},{"key":"4_CR10","unstructured":"Brumbulli, M., Gaudin, E., Teodorov, C.: Automatic verification of BPMN models. In: 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020). Toulouse, France (Jan 2020). https:\/\/hal.science\/hal-02441878"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Cederbladh, J., Cicchetti, A., Suryadevara, J.: Early validation and verification of system behaviour in model-based systems engineering: a systematic literature review. ACM Trans. Softw. Eng. Methodol. (2023). https:\/\/doi.org\/10.1145\/3631976","DOI":"10.1145\/3631976"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Chargu\u00e9raud, A., Chlipala, A., Erbsen, A., Gruetter, S.: Omnisemantics: Smooth handling of nondeterminism. ACM Trans. Program. Lang. Syst. 45(1) (Mar 2023). https:\/\/doi.org\/10.1145\/3579834","DOI":"10.1145\/3579834"},{"key":"4_CR13","unstructured":"Combemale, B., Cr\u00e9gut, X., Giacometti, J.P., Michel, P., Pantel, M.: Introducing simulation and model animation in the MDE Topcased Toolkit. In: 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS). http:\/\/www.erts2008.org\/ Toulouse, France (Jan 2008). https:\/\/hal.science\/hal-00371596"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Dalecke, S., Grimm, C.: Sysmd: an inclusive modelling tool. In: 2024 19th Annual System of Systems Engineering Conference (SoSE), pp. 178\u2013183 (2024). https:\/\/doi.org\/10.1109\/SOSE62659.2024.10620956","DOI":"10.1109\/SOSE62659.2024.10620956"},{"key":"4_CR15","doi-asserted-by":"publisher","unstructured":"Darais, D., Labich, N., Nguyen, P.C., Van\u00a0Horn, D.: Abstracting definitional interpreters (functional pearl). Proc. ACM Program. Lang. 1(ICFP) (Aug 2017). https:\/\/doi.org\/10.1145\/3110256","DOI":"10.1145\/3110256"},{"key":"4_CR16","unstructured":"Dhaussy, P., Roger, J.C., Leroux, L., Boniol, F.: Context aware model exploration with obp tool to improve model-checking. In: ERTS 2012, p.\u00a0xx. Toulouse, France (Feb 2012). https:\/\/ensta.hal.science\/hal-00676640"},{"key":"4_CR17","doi-asserted-by":"publisher","unstructured":"Ducasse, Q., Cotret, P., Lagadec, L.: Gigue: A JIT code binary generator for hardware testing. In: Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, pp. 73\u201382. VMIL 2023, Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3623507.3623553","DOI":"10.1145\/3623507.3623553"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Exelmans, J., Teodorov, C., Vangheluwe, H.: Integrating model checking into a live modeling environment. In: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering, pp. 128\u2013133. SLE \u201925, Association for Computing Machinery, New York, NY, USA (2025). https:\/\/doi.org\/10.1145\/3732771.3742718","DOI":"10.1145\/3732771.3742718"},{"key":"4_CR19","unstructured":"Farail, P., et al.: The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design. In: ERTS 2006 proceedings. Toulouse, France (Jan 2006). https:\/\/hal.science\/hal-02270461"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Ferreira, D., Lima, L.: A CSP semantics for UML state machines aiming at hidden formal methods verification. In: Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vit\u00f3ria, Brazil, December 4\u20136, 2024, Proceedings, pp. 49\u201367. Springer-Verlag, Berlin, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-78116-2_4","DOI":"10.1007\/978-3-031-78116-2_4"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Ferreira, D., Lima, L.: Verifying integrated designs of UML state machines and activities using CSP. In: C.\u00a0Nogueira, S., Teodorov, C. (eds.) Formal Methods: Foundations and Applications, pp. 68\u201385. Springer Nature Switzerland, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-78116-2_5","DOI":"10.1007\/978-3-031-78116-2_5"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-030-88806-0_6","volume-title":"Static Analysis","author":"L Franceschino","year":"2021","unstructured":"Franceschino, L., Pichardie, D., Talpin, J.P.: Verified functional programming of an abstract interpreter. In: Dr\u0103goi, C., Mukherjee, S., Namjoshi, K. (eds.) Static Analysis, pp. 124\u2013143. Springer International Publishing, Cham (2021)"},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Gaudin, E., Brunel, E., Brumbulli, M.: Language agnostic model checking for SDL. In: 2023 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 231\u2013240 (2023). https:\/\/doi.org\/10.1109\/MODELS-C59198.2023.00052","DOI":"10.1109\/MODELS-C59198.2023.00052"},{"key":"4_CR24","unstructured":"Gaufillet, P., Farail, P.: TOPCASED results and benefits. In: ERTS 2012 Proceedings. Toulouse, France (Feb 2012). https:\/\/hal.science\/hal-02192082"},{"key":"4_CR25","volume-title":"Smalltalk-80: The Language and its Implementation","author":"A Goldberg","year":"1983","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: The Language and its Implementation. Addison-Wesley Longman Publishing Co., Inc, USA (1983)"},{"issue":"2","key":"4_CR26","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play-in\/play-out approach. Softw. Syst. Model. 2(2), 82\u2013107 (2003). https:\/\/doi.org\/10.1007\/s10270-002-0015-5","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"4_CR27","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1002\/sys.21566","volume":"24","author":"K Henderson","year":"2021","unstructured":"Henderson, K., Salado, A.: Value and benefits of model-based systems engineering (MBSE): evidence from the literature. Syst. Eng. 24(1), 51\u201366 (2021). https:\/\/doi.org\/10.1002\/sys.21566","journal-title":"Syst. Eng."},{"key":"4_CR28","doi-asserted-by":"publisher","unstructured":"Jouault, F., et al.: AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232(C) (Jan 2024). https:\/\/doi.org\/10.1016\/j.scico.2023.103050","DOI":"10.1016\/j.scico.2023.103050"},{"key":"4_CR29","doi-asserted-by":"publisher","unstructured":"Kant, G., Laarman, A., Meijer, J., van de Pol, J., Blom, S., van Dijk, T.: LTSmin: high-performance language-independent model checking. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 692\u2013707. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_61","DOI":"10.1007\/978-3-662-46681-0_61"},{"issue":"1","key":"4_CR30","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s11704-012-2901-5","volume":"6","author":"W Ke","year":"2012","unstructured":"Ke, W., Li, X., Liu, Z., Stolz, V.: rCOS: a formal model-driven engineering method for component-based software. Front. Comput. Sci China 6(1), 17\u201339 (2012)","journal-title":"Front. Comput. Sci China"},{"key":"4_CR31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110815","volume":"171","author":"H Klare","year":"2021","unstructured":"Klare, H., Kramer, M.E., Langhammer, M., Werle, D., Burger, E., Reussner, R.: Enabling consistency in view-based system development \u2013 the vitruvius approach. J. Syst. Softw. 171, 110815 (2021). https:\/\/doi.org\/10.1016\/j.jss.2020.110815","journal-title":"J. Syst. Softw."},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Kolovos, D., Paige, R., Polack, F.: Detecting and repairing inconsistencies across heterogeneous models. In: International Conference on Software Testing, Verification, and Validation, pp. 356\u2013364 (2008). https:\/\/doi.org\/10.1109\/ICST.2008.23","DOI":"10.1109\/ICST.2008.23"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/1-84628-152-0_6","volume-title":"Interoperability of Enterprise Software and Applications","author":"K Kosanke","year":"2006","unstructured":"Kosanke, K.: ISO standards for interoperability: a Comparison. In: Konstantas, D., Bourri\u00e8res, J.P., L\u00e9onard, M., Boudjlida, N. (eds.) Interoperability of Enterprise Software and Applications, pp. 55\u201364. Springer, London, London (2006)"},{"key":"4_CR34","doi-asserted-by":"publisher","unstructured":"Larose, O., Kaleba, S., Burchell, H., Marr, S.: AST vs. Bytecode: interpreters in the age of meta-compilation. Proc. ACM Program. Lang. 7(OOPSLA2) (Oct 2023). https:\/\/doi.org\/10.1145\/3622808","DOI":"10.1145\/3622808"},{"key":"4_CR35","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-70848-5_6","volume-title":"Formal Methods: Foundations and Applications","author":"T Lecomte","year":"2017","unstructured":"Lecomte, T., Deharbe, D., Prun, E., Mottin, E.: Applying a formal method in industry: a 25-year trajectory. In: Cavalheiro, S., Fiadeiro, J. (eds.) Formal Methods: Foundations and Applications, pp. 70\u201387. Springer International Publishing, Cham (2017)"},{"issue":"7","key":"4_CR36","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1538788.1538814","volume":"52","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: Formal verification of a realistic compiler. Commun. ACM 52(7), 107\u2013115 (2009). https:\/\/doi.org\/10.1145\/1538788.1538814","journal-title":"Commun. ACM"},{"key":"4_CR37","doi-asserted-by":"publisher","unstructured":"Leung, M., Murphy, G.: On automated assistants for software development: the role of LLMs. In: 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1737\u20131741 (2023). https:\/\/doi.org\/10.1109\/ASE56229.2023.00035","DOI":"10.1109\/ASE56229.2023.00035"},{"key":"4_CR38","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102497","volume":"197","author":"L Lima","year":"2020","unstructured":"Lima, L., Tavares, A., Nogueira, S.C.: A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. Sci. Comput. Program. 197, 102497 (2020). https:\/\/doi.org\/10.1016\/j.scico.2020.102497","journal-title":"Sci. Comput. Program."},{"key":"4_CR39","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-62217-0_22","volume-title":"Disciplinary Convergence in Systems Engineering Research","author":"AM Madni","year":"2018","unstructured":"Madni, A.M., Sievers, M.: Model-based systems engineering: Motivation, current status, and needed advances. In: Madni, A.M., Boehm, B., Ghanem, R.G., Erwin, D., Wheaton, M.J. (eds.) Disciplinary Convergence in Systems Engineering Research, pp. 311\u2013325. Springer International Publishing, Cham (2018)"},{"key":"4_CR40","doi-asserted-by":"publisher","unstructured":"Moln\u00e1r, et al.: Towards the Formal Verification of SysML v2 Models. In: Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, pp. 1086\u20131095. MODELS Companion \u201924, Association for Computing Machinery, New York, NY, USA (2024). https:\/\/doi.org\/10.1145\/3652620.3687820","DOI":"10.1145\/3652620.3687820"},{"key":"4_CR41","unstructured":"OMG: OMG Systems Modeling Language (SysML v2) - Part 1: Language Specification. https:\/\/www.omg.org\/spec\/SysML\/2.0\/Beta2\/Language\/PDF (2024)"},{"key":"4_CR42","doi-asserted-by":"publisher","unstructured":"Pasquier, M., Teodorov, C., Jouault, F., Brun, M., Le\u00a0Roux, L., Lagadec, L.: Temporal breakpoints for multiverse debugging. In: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering. pp. 125\u2013137. SLE 2023, Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3623476.3623526","DOI":"10.1145\/3623476.3623526"},{"key":"4_CR43","doi-asserted-by":"publisher","unstructured":"Pasquier, M., Teodorov, C., Jouault, F., Brun, M., Roux, L.L., Lagadec, L.: Practical multiverse debugging through user-defined reductions: application to UML models. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, pp. 87\u201397. MODELS \u201922, Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3550355.3552447","DOI":"10.1145\/3550355.3552447"},{"key":"4_CR44","doi-asserted-by":"publisher","unstructured":"Pnneli, A., Shtriehman, O., Siegel, M.: Translation validation for synchronous languages. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 235\u2013246. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055057","DOI":"10.1007\/BFb0055057"},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Ra\u0163iu, C.C., Assun\u00e7\u00e3o, W.K., Herac, E., Haas, R., Lauwerys, C., Egyed, A.: Using reactive links to propagate changes across engineering models. Softw. Syst. Model. 1\u201327 (2024)","DOI":"10.1007\/s10270-024-01186-w"},{"key":"4_CR46","doi-asserted-by":"publisher","unstructured":"Rosu, G., Serbanuta, T.F.: An overview of the K semantic framework. J. Logic Algebraic Programm. 79(6), 397\u2013434 (2010). https:\/\/doi.org\/10.1016\/j.jlap.2010.03.012, membrane computing and programming","DOI":"10.1016\/j.jlap.2010.03.012"},{"issue":"6","key":"4_CR47","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1007\/s00165-021-00555-2","volume":"33","author":"P St\u00fcnkel","year":"2021","unstructured":"St\u00fcnkel, P., K\u00f6nig, H., Lamo, Y., Rutle, A.: Comprehensive systems: a formal foundation for multi-model consistency management. Formal Aspects Comput. 33(6), 1067\u20131114 (2021)","journal-title":"Formal Aspects Comput."},{"key":"4_CR48","doi-asserted-by":"publisher","unstructured":"Sun, J., et al.: A survey of reasoning with foundation models: concepts, methodologies, and outlook. ACM Comput. Surv. 57(11) (Jun 2025). https:\/\/doi.org\/10.1145\/3729218","DOI":"10.1145\/3729218"},{"key":"4_CR49","unstructured":"Team, O.R.: OBP2 high-performance, retargetable temporal logic verification engine. http:\/\/www.obpcdl.org\/ (17 march 2025)"},{"key":"4_CR50","unstructured":"Teodorov, C.: G$$\\forall $$min$$\\exists $$: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools. Habilitation \u00e0 diriger des recherches, Universit\u00e9 de Bretagne Occidentale (UBO), Brest (Apr 2023). https:\/\/hal.science\/tel-04066483"},{"key":"4_CR51","unstructured":"The Object Management Group: OMG Systems Modeling Language. Standard 1.7 beta, Object Management Group, Milford, MA, USA (2022). https:\/\/www.omg.org\/spec\/SysML\/1.7\/Beta1"},{"key":"4_CR52","doi-asserted-by":"publisher","unstructured":"Turcotte, A., Arteca, E., Richards, G.: Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. In: Donaldson, A.F. (ed.) 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0134, pp. 16:1\u201316:32. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2019). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2019.16","DOI":"10.4230\/LIPIcs.ECOOP.2019.16"},{"key":"4_CR53","doi-asserted-by":"publisher","unstructured":"Vaicenavicius, J., Wiklund, T., Kavolis, D., Drauk\u0161as, S., Kalkauskas, A., Vaicenavi\u010dius, R.: SysIDE: SysML v2 textual editing and analysis system: overview and applications. CEAS Space J. (02 2025). https:\/\/doi.org\/10.1007\/s12567-025-00595-x","DOI":"10.1007\/s12567-025-00595-x"},{"issue":"9","key":"4_CR54","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1932681.1863553","volume":"45","author":"D Van Horn","year":"2010","unstructured":"Van Horn, D., Might, M.: Abstracting abstract machines. SIGPLAN Not. 45(9), 51\u201362 (2010). https:\/\/doi.org\/10.1145\/1932681.1863553","journal-title":"SIGPLAN Not."},{"issue":"4","key":"4_CR55","doi-asserted-by":"publisher","first-page":"1319","DOI":"10.1007\/s10270-022-01073-2","volume":"22","author":"S Zschaler","year":"2023","unstructured":"Zschaler, S., Bousse, E., Deantoni, J., Combemale, B.: A generic framework for representing and analyzing model concurrency. Softw. Syst. Model. 22(4), 1319\u20131340 (2023). https:\/\/doi.org\/10.1007\/s10270-022-01073-2","journal-title":"Softw. Syst. Model."}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12086-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:02:09Z","timestamp":1764284529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12086-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,27]]},"ISBN":["9783032120854","9783032120861"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12086-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,27]]},"assertion":[{"value":"27 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Recife","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sbmf2025.ufrpe.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}