{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:12:17Z","timestamp":1781017937710,"version":"3.54.1"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031753893","type":"print"},{"value":"9783031753909","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-75390-9_3","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:02:40Z","timestamp":1729882960000},"page":"27-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Interoperability of\u00a0Digital Twins: Challenges, Success Factors, and\u00a0Future Research Directions"],"prefix":"10.1007","author":[{"given":"Istvan","family":"David","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guodong","family":"Shao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudio","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dawn","family":"Tilbury","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bassam","family":"Zarkout","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"key":"3_CR1","series-title":"Advanced Sciences and Technologies for Security Applications","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-030-35746-7_8","volume-title":"Cyber Defence in the Age of AI, Smart Societies and Augmented Humanity","author":"G Ahmadi-Assalemi","year":"2020","unstructured":"Ahmadi-Assalemi, G., et al.: Digital twins for precision healthcare. In: Jahankhani, H., Kendzierskyj, S., Chelvachandran, N., Ibarra, J. (eds.) Cyber Defence in the Age of AI, Smart Societies and Augmented Humanity. ASTSA, pp. 133\u2013158. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-35746-7_8"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"Atalay, M., Murat, U., Oksuz, B., Parlaktuna, A.M., Pisirir, E., Testik, M.C.: Digital twins in manufacturing: systematixz CXC literature review for physical-digital layer categorization and future research directions. Int. J. Comput. Integr. Manuf. 35(7), 679\u2013705 (2022). https:\/\/doi.org\/10.1080\/0951192X.2021.2022762","DOI":"10.1080\/0951192X.2021.2022762"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Softw. Syst. Model. 4(2), 171\u2013188 (2005). https:\/\/doi.org\/10.1007\/s10270-005-0079-0","journal-title":"Softw. Syst. Model."},{"key":"3_CR4","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-030-58167-1_4","volume-title":"Systems Modelling and Management","author":"F Bordeleau","year":"2020","unstructured":"Bordeleau, F., Combemale, B., Eramo, R., van den Brand, M., Wimmer, M.: Towards model-driven digital twin engineering: current opportunities and future challenges. In: Babur, \u00d6., Denil, J., Vogel-Heuser, B. (eds.) ICSMM 2020. CCIS, vol. 1262, pp. 43\u201354. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58167-1_4"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Bork, D., David, I., Espa\u00f1a, S., Guizzardi, G., Proper, H., Reinhartz-Berger, I.: The role of modeling in the analysis and design of sustainable systems: a panel report. Commun. Assoc. Inf. Syst. 54, 911-936 (2024). https:\/\/doi.org\/10.17705\/1cais.05434. ISSN 1529-3181","DOI":"10.17705\/1cais.05434"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.cirpj.2023.06.011","volume":"45","author":"T B\u00f6ttjer","year":"2023","unstructured":"B\u00f6ttjer, T., et al.: A review of unit level digital twin applications in the manufacturing industry. CIRP J. Manuf. Sci. Technol. 45, 162\u2013189 (2023). https:\/\/doi.org\/10.1016\/j.cirpj.2023.06.011","journal-title":"CIRP J. Manuf. Sci. Technol."},{"key":"3_CR7","first-page":"155","volume":"4","author":"JT Buck","year":"1994","unstructured":"Buck, J.T., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogeneous systems. Int. J. Comput. Simul. 4, 155\u2013182 (1994)","journal-title":"Int. J. Comput. Simul."},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Caprari, G., Castelli, G., Montuori, M., Camardelli, M., Malvezzi, R.: Digital twin for urban planning in the green deal era: a state of the art and future perspectives. Sustainability 14(10) (2022). https:\/\/doi.org\/10.3390\/su14106263","DOI":"10.3390\/su14106263"},{"issue":"7\u20138","key":"3_CR9","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1080\/0951192x.2020.1852600","volume":"34","author":"MP Ciano","year":"2020","unstructured":"Ciano, M.P., Pozzi, R., Rossi, T., Strozzi, F.: Digital twin-enabled smart industrial systems: a bibliometric review. Int. J. Comput. Integr. Manuf. 34(7\u20138), 690\u2013708 (2020). https:\/\/doi.org\/10.1080\/0951192x.2020.1852600","journal-title":"Int. J. Comput. Integr. Manuf."},{"key":"3_CR10","unstructured":"Combemale, B., et\u00a0al.: A Hitchhiker\u2019s guide to model-driven engineering for data-centric systems. IEEE Softw. (2020)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Confalonieri, R., Guizzardi, G.: On the multiple roles of ontologies in explainable AI (2023)","DOI":"10.3233\/NAI-240754"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Cronrath, C., Aderiani, A.R., Lennartson, B.: Enhancing digital twins through reinforcement learning. In: 2019 IEEE 15th International Conference on Automation Science and Engineering, pp. 293\u2013298. IEEE (2019)","DOI":"10.1109\/COASE.2019.8842888"},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"David, I., Bork, D.: Towards a taxonomy of digital twin evolution for technical sustainability. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C, pp. 934\u2013938. IEEE (2023). https:\/\/doi.org\/10.1109\/MODELS-C59198.2023.00147","DOI":"10.1109\/MODELS-C59198.2023.00147"},{"key":"3_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/978-3-031-61057-8_33","volume-title":"CAiSE 2024","author":"I David","year":"2024","unstructured":"David, I., Bork, D.: Infonomics of autonomous digital twins. In: Guizzardi, G., Santoro, F., Mouratidis, H., Soffer, P. (eds.) CAiSE 2024. LNCS, vol. 14663, pp. 563\u2013578. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-61057-8_33"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"David, I., Bork, D., Kappel, G.: Circular systems engineering. Softw. Syst. Mode. 23(2), 269\u2013283 (2024). https:\/\/doi.org\/10.1007\/s10270-024-01154-4. ISSN 1619-137","DOI":"10.1007\/s10270-024-01154-4"},{"key":"3_CR16","unstructured":"Michael, J., David, I., Bork, D.: Digital twin evolution for sustainable smart ecosystems (2024). https:\/\/arxiv.org\/abs\/2403.07162"},{"key":"3_CR17","unstructured":"David, I., Syriani, E.: Automated inference of simulators in digital twins. In: Handbook of Digital Twins, chap.\u00a08. CRC Press (2023). ISBN 978-1-032-54607-0"},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Dreyfus, P.A., Psarommatis, F., May, G., Kiritsis, D.: Virtual metrology as an approach for product quality estimation in industry 4.0: a systematic review and integrative conceptual framework. Int. J. Prod. Res. 60(2), 742\u2013765 (2022). https:\/\/doi.org\/10.1080\/00207543.2021.1976433","DOI":"10.1080\/00207543.2021.1976433"},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"Esterle, L., Gomes, C., Frasheri, M., Ejersbo, H., Tomforde, S., Larsen, P.G.: Digital twins for collaboration and self-integration. In: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), pp. 172\u2013177. IEEE (2021). https:\/\/doi.org\/10.1109\/ACSOS-C52956.2021.00040. ISBN 978-1-66544-393","DOI":"10.1109\/ACSOS-C52956.2021.00040"},{"key":"3_CR20","doi-asserted-by":"publisher","unstructured":"Feng, H., et\u00a0al.: Introduction to digital twin engineering. In: 2021 Annual Modeling and Simulation Conference (ANNSIM), pp. 1\u201312. IEEE (2021). https:\/\/doi.org\/10.23919\/ANNSIM52504.2021.9552135. ISBN 978-1-56555-375","DOI":"10.23919\/ANNSIM52504.2021.9552135"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Feng, H., et\u00a0al.: Integration of the MAPE-K loop in digital twins. In: 2022 Annual Modeling and Simulation Conference (ANNSIM), pp. 102\u2013113. IEEE (2022). https:\/\/doi.org\/10.23919\/ANNSIM55834.2022.9859489. ISBN 978-1-71385-288-9","DOI":"10.23919\/ANNSIM55834.2022.9859489"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Ferko, E., Bucaioni, A., Behnam, M., Pelliccione, P.: Analysing interoperability in digital twin software architectures for manufacturing. In: 17th European Conference on Software Architecture (2023)","DOI":"10.1007\/978-3-031-42592-9_12"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Gil, S., Mikkelsen, P.H., Gomes, C., Larsen, P.G.: Survey on open-source digital twin frameworks-a case study approach. Softw. Pract. Exp. (2024). https:\/\/doi.org\/10.1002\/spe.3305","DOI":"10.1002\/spe.3305"},{"key":"3_CR24","doi-asserted-by":"publisher","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018). https:\/\/doi.org\/10.1145\/3179993","DOI":"10.1145\/3179993"},{"key":"3_CR25","doi-asserted-by":"publisher","unstructured":"Gr\u00e4ber, M., Kirches, C., Scharff, D., Tegethoff, W.: Using functional mock-up units for nonlinear model predictive control. In: Link\u00f6ping Electronic Conference Proceedings. Link\u00f6ping University Electronic Press, November 2012. https:\/\/doi.org\/10.3384\/ecp12076781","DOI":"10.3384\/ecp12076781"},{"issue":"11","key":"3_CR26","doi-asserted-by":"publisher","first-page":"1618","DOI":"10.1016\/j.envsoft.2006.05.007","volume":"21","author":"LM Hilty","year":"2006","unstructured":"Hilty, L.M., Arnfalk, P., Erdmann, L., Goodman, J., Lehmann, M., W\u00e4ger, P.A.: The relevance of information and communication technologies for environmental sustainability - a prospective simulation study. Environ. Model. Softw. 21(11), 1618\u20131629 (2006). https:\/\/doi.org\/10.1016\/j.envsoft.2006.05.007","journal-title":"Environ. Model. Softw."},{"key":"3_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2022.103796","volume":"144","author":"C Human","year":"2023","unstructured":"Human, C., Basson, A., Kruger, K.: A design framework for a system of digital twins and services. Comput. Ind. 144, 103796 (2023). https:\/\/doi.org\/10.1016\/j.compind.2022.103796","journal-title":"Comput. Ind."},{"key":"3_CR28","doi-asserted-by":"publisher","unstructured":"Junghanns, A., et\u00a0al.: The functional mock-up interface 3.0 - new features enabling new applications. In: Proceedings of the 14th International Modelica Conference. Link\u00f6ping University Electronic Press, Link\u00f6pings Universitet (2021). https:\/\/doi.org\/10.3384\/ecp2118117","DOI":"10.3384\/ecp2118117"},{"issue":"13","key":"3_CR29","doi-asserted-by":"publisher","first-page":"2986","DOI":"10.1002\/nme.6423","volume":"123","author":"M Kapteyn","year":"2022","unstructured":"Kapteyn, M., Knezevic, D., Huynh, D., Tran, M., Willcox, K.: Data-driven physics-based digital twins via a library of component-based reduced-order models. Int. J. Numer. Meth. Eng. 123(13), 2986\u20133003 (2022). https:\/\/doi.org\/10.1002\/nme.6423","journal-title":"Int. J. Numer. Meth. Eng."},{"key":"3_CR30","doi-asserted-by":"publisher","unstructured":"Keesman, K.J.: System Identification: An Introduction. Springer, London (2011). https:\/\/doi.org\/10.1007\/978-0-85729-522-4","DOI":"10.1007\/978-0-85729-522-4"},{"issue":"1","key":"3_CR31","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1109\/JSYST.2023.3340422","volume":"18","author":"R Klar","year":"2024","unstructured":"Klar, R., Arvidsson, N., Angelakis, V.: Digital twins\u2019 maturity: the need for interoperability. IEEE Syst. J. 18(1), 713\u2013724 (2024). https:\/\/doi.org\/10.1109\/JSYST.2023.3340422","journal-title":"IEEE Syst. J."},{"key":"3_CR32","doi-asserted-by":"publisher","DOI":"10.4324\/9781315108650","author":"DB Laney","year":"2017","unstructured":"Laney, D.B.: Infonomics. Routledge (2017). https:\/\/doi.org\/10.4324\/9781315108650","journal-title":"Routledge"},{"key":"3_CR33","doi-asserted-by":"publisher","unstructured":"Laughman, C., Bortoff, S.A.: Nonlinear state estimation with FMI: tutorial and applications. In: Link\u00f6ping Electronic Conference Proceedings. Link\u00f6ping University Electronic Press, November 2020. https:\/\/doi.org\/10.3384\/ecp20169186","DOI":"10.3384\/ecp20169186"},{"key":"3_CR34","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Niknami, M., Nouidui, T.S., Wetter, M.: Modeling and simulating cyber-physical systems using CyPhySim. In: 12th International Conference on Embedded Software, pp. 115\u2013124. IEEE (2015). https:\/\/doi.org\/10.1109\/EMSOFT.2015.7318266. ISBN 978-1-4673-8079-9","DOI":"10.1109\/EMSOFT.2015.7318266"},{"issue":"2","key":"3_CR35","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MS.2021.3133795","volume":"39","author":"D Lehner","year":"2022","unstructured":"Lehner, D., et al.: Digital twin platforms: requirements, capabilities, and future prospects. IEEE Softw. 39(2), 53\u201361 (2022). https:\/\/doi.org\/10.1109\/MS.2021.3133795","journal-title":"IEEE Softw."},{"key":"3_CR36","doi-asserted-by":"publisher","unstructured":"Liu, M., Fang, S., Dong, H., Xu, C.: Review of digital twin about concepts, technologies, and industrial applications. J. Manuf. Syst. 58, 346\u2013361 (2021). https:\/\/doi.org\/10.1016\/j.jmsy.2020.06.017","DOI":"10.1016\/j.jmsy.2020.06.017"},{"key":"3_CR37","doi-asserted-by":"publisher","unstructured":"Mittal, R., et\u00a0al.: Towards an ontological framework for validity frames. In: 2023 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 801\u2013805 (2023). https:\/\/doi.org\/10.1109\/MODELS-C59198.2023.00128","DOI":"10.1109\/MODELS-C59198.2023.00128"},{"issue":"9","key":"3_CR38","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1177\/0037549704050532","volume":"80","author":"PJ Mosterman","year":"2004","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simulation 80(9), 433\u2013450 (2004). https:\/\/doi.org\/10.1177\/0037549704050532","journal-title":"Simulation"},{"key":"3_CR39","doi-asserted-by":"publisher","first-page":"107781","DOI":"10.1109\/ACCESS.2020.3000437","volume":"8","author":"J Moyne","year":"2020","unstructured":"Moyne, J., et al.: A requirements driven digital twin framework: specification and opportunities. IEEE Access 8, 107781\u2013107801 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.3000437","journal-title":"IEEE Access"},{"key":"3_CR40","doi-asserted-by":"publisher","unstructured":"Rasheed, A., San, O., Kvamsdal, T.: Digital twin: values, challenges and enablers from a modeling perspective. IEEE Access 8, 21980\u201322012 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2970143","DOI":"10.1109\/ACCESS.2020.2970143"},{"key":"3_CR41","doi-asserted-by":"publisher","unstructured":"Rebelo\u00a0Moreira, J.A.L.: The role of interoperability for digital twins. In: Sales, T.P., de Kinderen, S., Proper, H.A., Pufahl, L., Karastoyanova, D., van Sinderen, M. (eds.) EDOC 2023. LNBIP, vol. 498, pp. 139\u2013157 Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-54712-6_9. ISBN 9783031547126","DOI":"10.1007\/978-3-031-54712-6_9"},{"key":"3_CR42","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-030-27477-1_13","volume-title":"Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future","author":"AJH Redelinghuys","year":"2020","unstructured":"Redelinghuys, A.J.H., Kruger, K., Basson, A.: A six-layer architecture for digital twins with aggregation. In: Borangiu, T., Trentesaux, D., Leit\u00e3o, P., Giret Boggino, A., Botti, V. (eds.) SOHOMA 2019. SCI, vol. 853, pp. 171\u2013182. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-27477-1_13"},{"key":"3_CR43","doi-asserted-by":"publisher","unstructured":"Schweers, C., Kruse, D., Oesterwinter, T., Tr\u00e4chtler, A.: Automated design of an Unscented Kalman Filter for state- and parameter estimation on unknown models. In: 2013 International Conference on Control, Automation, Robotics and Embedded Systems (CARE), pp. 1\u20136 (2013). https:\/\/doi.org\/10.1109\/CARE.2013.6733760","DOI":"10.1109\/CARE.2013.6733760"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Shao, G.: Use case scenarios for digital twin implementation based on ISO 23247. Technical report (2021). https:\/\/nvlpubs.nist.gov\/nistpubs\/ams\/NIST.AMS.400-2.pdf","DOI":"10.6028\/NIST.AMS.400-2"},{"key":"3_CR45","doi-asserted-by":"publisher","unstructured":"Singh, S., Shehab, E., Higgins, N., Fowler, K., Tomiyama, T., Fowler, C.: Challenges of digital twin in high value manufacturing. In: SAE Technical Paper Series, SAE International (2018). https:\/\/doi.org\/10.4271\/2018-01-1928","DOI":"10.4271\/2018-01-1928"},{"key":"3_CR46","unstructured":"Stoewer, H., Nichols, D.: Building the systems engineering workforce of the future (2022)"},{"issue":"4","key":"3_CR47","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1109\/TII.2018.2873186","volume":"15","author":"F Tao","year":"2019","unstructured":"Tao, F., Zhang, H., Liu, A., Nee, A.Y.C.: Digital twin in industry: state-of-the-art. IEEE Trans. Industr. Inf. 15(4), 2405\u20132415 (2019). https:\/\/doi.org\/10.1109\/TII.2018.2873186","journal-title":"IEEE Trans. Industr. Inf."},{"issue":"2","key":"3_CR48","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1177\/00375497231205035","volume":"100","author":"B Van Acker","year":"2024","unstructured":"Van Acker, B., De Meulenaere, P., Vangheluwe, H., Denil, J.: Validity frame-enabled model-based engineering processes. Simulation 100(2), 185\u2013226 (2024). https:\/\/doi.org\/10.1177\/00375497231205035","journal-title":"Simulation"},{"key":"3_CR49","unstructured":"Wang, W., Tolk, A., Wang, W.: The levels of conceptual interoperability model: applying systems engineering principles to M &S. In: Proceedings of the 2009 Spring Simulation Multiconference, SCS (2009)"},{"key":"3_CR50","unstructured":"Welch, G., Bishop, G.: An introduction to the Kalman filter. In: Proceedings of SIGGRAPH, Course 8, pp. 27599\u201323175 (2001)"},{"key":"3_CR51","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press (2000)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Application Areas"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75390-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:09:02Z","timestamp":1729883342000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75390-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031753893","9783031753909"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75390-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,26]]},"assertion":[{"value":"26 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}