{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T11:09:02Z","timestamp":1767611342109,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030760199"},{"type":"electronic","value":"9783030760205"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-76020-5_13","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T23:33:49Z","timestamp":1622763229000},"page":"215-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["The ASMETA Approach to Safety Assurance of Software Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4244-9319","authenticated-orcid":false,"given":"Andrea","family":"Bombarda","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9679-4551","authenticated-orcid":false,"given":"Silvia","family":"Bonfanti","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1400-1026","authenticated-orcid":false,"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9209-3624","authenticated-orcid":false,"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"13_CR1","unstructured":"Al-Shareefi, F.: Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines. Ph.D. thesis, University of Liverpool (2019)"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Formal validation and verification of a medical software critical component. In: 2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 80\u201389. IEEE, September 2015. https:\/\/doi.org\/10.1109\/MEMCOD.2015.7340473","DOI":"10.1109\/MEMCOD.2015.7340473"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.scico.2017.07.003","volume":"158","author":"P Arcaini","year":"2018","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Integrating formal methods into medical software development: the ASM approach. Sci. Comput. Program. 158, 148\u2013167 (2018). https:\/\/doi.org\/10.1016\/j.scico.2017.07.003","journal-title":"Sci. Comput. Program."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-50230-4_12","volume-title":"Software Technologies: Applications and Foundations","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Riccobene, E.: Visual notation and patterns for abstract state machines. In: Milazzo, P., Varr\u00f3, D., Wimmer, M. (eds.) Software Technologies: Applications and Foundations, pp. 163\u2013178. Springer International Publishing, Cham (2016)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-030-48077-6_25","volume-title":"Rigorous State-Based Methods","author":"P Arcaini","year":"2020","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: Modelling an automotive software-intensive system with adaptive features using ASMETA. In: Raschke, A., M\u00e9ry, D., Houdek, F. (eds.) ABZ 2020. LNCS, vol. 12071, pp. 302\u2013317. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48077-6_25"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-11811-1_6","volume-title":"Abstract State Machines, Alloy, B and Z","author":"P Arcaini","year":"2010","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 61\u201374. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11811-1_6"},{"key":"13_CR7","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Automatic review of Abstract State Machines by meta property verification. In: Mu\u00f1oz, C. (ed.) Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA\/CP-2010-216215, pp. 4\u201313. NASA, Langley Research Center, Hampton VA 23681\u20132199, USA, April 2010"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-29860-8_17","volume-title":"Runtime Verification","author":"P Arcaini","year":"2012","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: CoMA: conformance monitoring of Java programs by Abstract State Machines. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 223\u2013238. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_17"},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism. In: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp. 178\u2013187. ICSTW 2013, IEEE Computer Society, Washington, DC, USA (2013). https:\/\/doi.org\/10.1109\/ICSTW.2013.29","DOI":"10.1109\/ICSTW.2013.29"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.14279\/tuj.eceasst.70.970","volume":"70","author":"P Arcaini","year":"2014","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Using SMT for dealing with nondeterminism in ASM-based runtime verification. ECEASST 70, 1\u201315 (2014). https:\/\/doi.org\/10.14279\/tuj.eceasst.70.970","journal-title":"ECEASST"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-41591-8_17","volume-title":"Software Engineering and Formal Methods","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: SMT-based automatic proof of ASM model refinement. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 253\u2013269. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41591-8_17"},{"issue":"2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10009-015-0394-x","volume":"19","author":"P Arcaini","year":"2015","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transfer 19(2), 247\u2013269 (2015). https:\/\/doi.org\/10.1007\/s10009-015-0394-x","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Experience 41, 155\u2013166 (2011). https:\/\/doi.org\/10.1002\/spe.1019","journal-title":"Softw. Pract. Experience"},{"issue":"4","key":"13_CR14","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s00165-016-0371-5","volume":"28","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Holom, R.-M., Riccobene, E.: ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. 28(4), 567\u2013595 (2016). https:\/\/doi.org\/10.1007\/s00165-016-0371-5","journal-title":"Formal Aspects Comput."},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"110558","DOI":"10.1016\/j.jss.2020.110558","volume":"164","author":"P Arcaini","year":"2020","unstructured":"Arcaini, P., Mirandola, R., Riccobene, E., Scandurra, P.: MSL: a pattern language for engineering self-adaptive systems. J. Syst. Softw. 164, 110558 (2020). https:\/\/doi.org\/10.1016\/j.jss.2020.110558","journal-title":"J. Syst. Softw."},{"issue":"4","key":"13_CR16","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/3019598","volume":"11","author":"P Arcaini","year":"2017","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Formal design and verification of self-adaptive systems with decentralized control. ACM Trans. Auton. Adapt. Syst. 11(4), 25:1-25:35 (2017). https:\/\/doi.org\/10.1145\/3019598","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"13_CR17","unstructured":"ASMETA (ASM mETAmodeling) toolset. https:\/\/asmeta.github.io\/"},{"issue":"5","key":"13_CR18","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2015","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41(5), 507\u2013525 (2015). https:\/\/doi.org\/10.1109\/TSE.2014.2372785","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-68690-5_2","volume-title":"Formal Methods and Software Engineering","author":"F Benduhn","year":"2017","unstructured":"Benduhn, F., Th\u00fcm, T., Schaefer, I., Saake, G.: Modularization of refinement steps for agile\u00a0formal methods. In: Duan, Z., Ong, L. (eds.) ICFEM 2017. LNCS, vol. 10610, pp. 19\u201335. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68690-5_2"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-29852-4_7","volume-title":"Software Technology: Methods and Tools","author":"A Bombarda","year":"2019","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A.: Developing medical devices from abstract state machines to embedded systems: a smart pill box case study. In: Mazzara, M., Bruel, J.-M., Meyer, B., Petrenko, A. (eds.) TOOLS 2019. LNCS, vol. 11771, pp. 89\u2013103. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29852-4_7"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-030-31280-0_5","volume-title":"Testing Software and Systems","author":"A Bombarda","year":"2019","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A., Radavelli, M., Duan, F., Lei, Yu.: Combining model refinement and test generation for conformance testing of the IEEE PHD protocol using abstract state machines. In: Gaston, C., Kosmatov, N., Le Gall, P. (eds.) ICTSS 2019. LNCS, vol. 11812, pp. 67\u201385. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31280-0_5"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-319-91271-4_25","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"S Bonfanti","year":"2018","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: AsmetaA: animator for Abstract State Machines. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 369\u2013373. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_25"},{"key":"13_CR23","doi-asserted-by":"publisher","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Generation of C++ unit tests from Abstract State Machines specifications. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 185\u2013193, April 2018. https:\/\/doi.org\/10.1109\/ICSTW.2018.00049","DOI":"10.1109\/ICSTW.2018.00049"},{"issue":"2","key":"13_CR24","doi-asserted-by":"publisher","first-page":"e2205","DOI":"10.1002\/smr.2205","volume":"32","author":"S Bonfanti","year":"2020","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process 32(2), e2205 (2020). https:\/\/doi.org\/10.1002\/smr.2205","journal-title":"J. Softw. Evol. Process"},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00165-003-0012-7","volume":"15","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The ASM refinement method. Formal Aspects Comput. 15, 237\u2013257 (2003)","journal-title":"Formal Aspects Comput."},{"key":"13_CR26","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-56641-1","DOI":"10.1007\/978-3-662-56641-1"},{"key":"13_CR27","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7","DOI":"10.1007\/978-3-642-18216-7"},{"issue":"11","key":"13_CR28","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1109\/TSE.2017.2738640","volume":"44","author":"R Calinescu","year":"2018","unstructured":"Calinescu, R., Weyns, D., Gerasimou, S., Iftikhar, M.U., Habli, I., Kelly, T.: Engineering trustworthy self-adaptive software with dynamic assurance cases. IEEE Trans. Softw. Eng. 44(11), 1039\u20131069 (2018). https:\/\/doi.org\/10.1109\/TSE.2017.2738640","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 71\u201384. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87603-8_7"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., et al.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-319-75632-5_4","volume-title":"Lectures on Runtime Verification","author":"Y Falcone","year":"2018","unstructured":"Falcone, Y., Mariani, L., Rollet, A., Saha, S.: Runtime failure prevention and reaction. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 103\u2013134. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_4"},{"issue":"3","key":"13_CR32","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Softw. Test. Verif. Reliab. 19(3), 215\u2013261 (2009)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"11","key":"13_CR33","doi-asserted-by":"publisher","first-page":"1050","DOI":"10.3217\/jucs-007-11-1050","volume":"7","author":"A Gargantini","year":"2001","unstructured":"Gargantini, A., Riccobene, E.: ASM-based testing: coverage criteria and automatic test sequence. J. Univers. Comput. Sci. 7(11), 1050\u20131067 (2001). https:\/\/doi.org\/10.3217\/jucs-007-11-1050","journal-title":"J. Univers. Comput. Sci."},{"key":"13_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-36498-6_15","volume-title":"Abstract State Machines 2003","author":"A Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E., Rinzivillo, S.: Using spin to generate tests from ASM specifications. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263\u2013277. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36498-6_15"},{"issue":"3\u20134","key":"13_CR35","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10515-009-0053-0","volume":"16","author":"A Gargantini","year":"2009","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3\u20134), 415\u2013454 (2009). https:\/\/doi.org\/10.1007\/s10515-009-0053-0","journal-title":"Autom. Softw. Eng."},{"key":"13_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-11447-2_3","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"A Gargantini","year":"2009","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: Ten reasons to metamodel ASMs. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 33\u201349. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-11447-2_3"},{"key":"13_CR37","doi-asserted-by":"publisher","unstructured":"Gaspari, P., Riccobene, E., Gargantini, A.: A formal design of the Hybrid European Rail Traffic Management System. In: Proceedings of the 13th European Conference on Software Architecture - Volume 2. pp. 156\u2013162. ECSA 2019, Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3344948.3344993","DOI":"10.1145\/3344948.3344993"},{"key":"13_CR38","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide, pp. 9\u201336. Oxford University Press Inc., USA (1995)"},{"key":"13_CR39","doi-asserted-by":"publisher","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: What\u2019s the semantics of \u201cSemantics\u201d? Computer 37(10), 64\u201372 (2004). https:\/\/doi.org\/10.1109\/MC.2004.172","DOI":"10.1109\/MC.2004.172"},{"issue":"2","key":"13_CR40","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/3376127","volume":"63","author":"N Leveson","year":"2020","unstructured":"Leveson, N.: Are you sure your software will not kill anyone? Commun. ACM 63(2), 25\u201328 (2020). https:\/\/doi.org\/10.1145\/3376127","journal-title":"Commun. ACM"},{"key":"13_CR41","doi-asserted-by":"publisher","unstructured":"Lutz, R.R.: Software engineering for safety: a roadmap. In: Proceedings of the Conference on The Future of Software Engineering, pp. 213\u2013226. ICSE 2000, Association for Computing Machinery, New York, NY, USA (2000). https:\/\/doi.org\/10.1145\/336512.336556","DOI":"10.1145\/336512.336556"},{"key":"13_CR42","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.jss.2013.11.002","volume":"89","author":"R Mirandola","year":"2014","unstructured":"Mirandola, R., Potena, P., Riccobene, E., Scandurra, P.: A reliability model for service component architectures. J. Syst. Softw. 89, 109\u2013127 (2014). https:\/\/doi.org\/10.1016\/j.jss.2013.11.002","journal-title":"J. Syst. Softw."},{"issue":"6","key":"13_CR43","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1007\/s00165-013-0289-0","volume":"26","author":"E Riccobene","year":"2013","unstructured":"Riccobene, E., Scandurra, P.: A formal framework for service modeling and prototyping. Formal Aspects Comput. 26(6), 1077\u20131113 (2013). https:\/\/doi.org\/10.1007\/s00165-013-0289-0","journal-title":"Formal Aspects Comput."},{"key":"13_CR44","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-030-59155-7_29","volume-title":"Software Architecture","author":"E Riccobene","year":"2020","unstructured":"Riccobene, E., Scandurra, P.: Model-based simulation at runtime with Abstract State Machines. In: Muccini, H., et al. (eds.) Software Architecture, pp. 395\u2013410. Springer International Publishing, Cham (2020)"},{"issue":"2","key":"13_CR45","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006). https:\/\/doi.org\/10.1109\/MC.2006.58","journal-title":"IEEE Comput."},{"key":"13_CR46","doi-asserted-by":"publisher","unstructured":"Utting, M., Legeard, B., Bouquet, F., Fourneret, E., Peureux, F., Vernotte, A.: Chapter two - recent advances in model-based testing. Advances in Computers, vol. 101, pp. 53\u2013120. Elsevier (2016). https:\/\/doi.org\/10.1016\/bs.adcom.2015.11.004","DOI":"10.1016\/bs.adcom.2015.11.004"},{"issue":"5","key":"13_CR47","doi-asserted-by":"publisher","first-page":"2821","DOI":"10.1007\/s10270-018-0700-7","volume":"18","author":"Y Van\u00a0Tendeloo","year":"2018","unstructured":"Van\u00a0Tendeloo, Y., Van\u00a0Mierlo, S., Vangheluwe, H.: A multi-paradigm modelling approach to live modelling. Softw. Syst. Model. 18(5), 2821\u20132842 (2018). https:\/\/doi.org\/10.1007\/s10270-018-0700-7","journal-title":"Softw. Syst. Model."},{"key":"13_CR48","unstructured":"Vessio, G.: Reasoning about properties with Abstract State Machines. In: Gogolla, M., Muccini, H., Varr\u00f3, D. (eds.) Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L\u2019Aquila, Italy, 20 July 2015. CEUR Workshop Proceedings, vol. 1499, pp. 1\u201310. CEUR-WS.org (2015). http:\/\/ceur-ws.org\/Vol-1499\/paper1.pdf"},{"key":"13_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-74183-3_2","volume-title":"Software Engineering for Self-Adaptive Systems III. Assurances","author":"D Weyns","year":"2017","unstructured":"Weyns, D., et al.: Perpetual assurances for self-adaptive systems. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Software Engineering for Self-Adaptive Systems III. Assurances. LNCS, vol. 9640, pp. 31\u201363. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-74183-3_2"}],"container-title":["Lecture Notes in Computer Science","Logic, Computation and Rigorous Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-76020-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:23:08Z","timestamp":1709821388000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-76020-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030760199","9783030760205"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-76020-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}