{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:38:26Z","timestamp":1769740706035,"version":"3.49.0"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031681493","type":"print"},{"value":"9783031681509","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-68150-9_2","type":"book-chapter","created":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:02:22Z","timestamp":1724155342000},"page":"21-39","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Evaluating the\u00a0Effectiveness of\u00a0Digital Twins Through Statistical Model Checking with\u00a0Feedback and\u00a0Perturbations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8112-6523","authenticated-orcid":false,"given":"Valentina","family":"Castiglioni","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3335-234X","authenticated-orcid":false,"given":"Ruggero","family":"Lanotte","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3061-863X","authenticated-orcid":false,"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3991-5123","authenticated-orcid":false,"given":"Simone","family":"Tini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,21]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-99154-2_2","volume-title":"QEST 2018","author":"E \u00c1brah\u00e1m","year":"2018","unstructured":"\u00c1brah\u00e1m, E., Bonakdarpour, B.: HyperPCTL: a temporal logic for probabilistic hyperproperties. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 20\u201335. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_2"},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018). https:\/\/doi.org\/10.1145\/3158668","DOI":"10.1145\/3158668"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"Althoff, M., Dolan, J.M.: Reachability computation of low-order models for the safety verification of high-order road vehicle models. In: American Control Conference (ACC) 2012, pp. 3559\u20133566. IEEE (2012). https:\/\/doi.org\/10.1109\/ACC.2012.6314777","DOI":"10.1109\/ACC.2012.6314777"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-031-15077-7_4","volume-title":"SPIN 2022","author":"S Arora","year":"2022","unstructured":"Arora, S., Hansen, R.R., Larsen, K.G., Legay, A., Poulsen, D.B.: Statistical model checking for probabilistic hyperproperties of real-valued signals. In: Legunsen, O., Rosu, G. (eds.) SPIN 2022. LNCS, vol. 13255, pp. 61\u201378. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15077-7_4"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Baier, C.: Probabilistic model checking. In: Dependable Software Systems Engineering, NATO Science for Peace and Security Series - D: Information and Communication Security, vol.\u00a045, pp. 1\u201323. IOS Press (2016). https:\/\/doi.org\/10.3233\/978-1-61499-627-9-1","DOI":"10.3233\/978-1-61499-627-9-1"},{"key":"2_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/9780470172445","volume-title":"Handbook of Simulation - Principles, Methodology, Advances, Applications, and Practice","author":"J Banks","year":"1998","unstructured":"Banks, J.: Handbook of Simulation - Principles, Methodology, Advances, Applications, and Practice. Wiley, Hoboken (1998)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"SFM-RT 2004","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Cham (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"key":"2_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-34514-5","volume-title":"Measure Theory","author":"VI Bogachev","year":"2007","unstructured":"Bogachev, V.I.: Measure Theory, vol. 2. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-34514-5"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Brosinsky, C., Westermann, D., Krebs, R.: Recent and prospective developments in power system control centers: adapting the digital twin technology for application in power system control centers. In: 2018 IEEE International Energy Conference (ENERGYCON), pp.\u00a01\u20136 (2018). https:\/\/doi.org\/10.1109\/ENERGYCON.2018.8398846","DOI":"10.1109\/ENERGYCON.2018.8398846"},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.1201\/9781315221625","volume-title":"Stochastic Hybrid Systems. No. 24 in Control Engineering","year":"2007","unstructured":"Cassandras, C.G., Lygeros, J. (eds.): Stochastic Hybrid Systems. No. 24 in Control Engineering, 1st edn. CRC Press, Boca Raton (2007). https:\/\/doi.org\/10.1201\/9781315221625","edition":"1"},{"key":"2_CR11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-030-78089-0_4","volume-title":"FORTE 2021","author":"V Castiglioni","year":"2021","unstructured":"Castiglioni, V., Loreti, M., Tini, S.: How adaptive and reliable is your program? In: Peters, K., Willemse, T.A.C. (eds.) FORTE 2021. LNCS, vol. 12719, pp. 60\u201379. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78089-0_4"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Castiglioni, V., Loreti, M., Tini, S.: RobTL: a temporal logic for the robustness of cyber-physical systems. CoRR abs\/2212.11158 (2022). https:\/\/doi.org\/10.48550\/arXiv.2212.11158","DOI":"10.48550\/arXiv.2212.11158"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Castiglioni, V., Loreti, M., Tini, S.: A framework to measure the robustness of programs in the unpredictable environment. Log. Methods Comput. Sci. 19(3) (2023). https:\/\/doi.org\/10.46298\/LMCS-19(3:2)2023","DOI":"10.46298\/LMCS-19(3:2)2023"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-031-35361-1_6","volume-title":"COORDINATION 2023","author":"V Castiglioni","year":"2023","unstructured":"Castiglioni, V., Loreti, M., Tini, S.: STARK: a software tool for the analysis of robustness in the unknown environment. In: Jongmans, S.S., Lopes, A. (eds.) COORDINATION 2023. LNCS, vol. 13908, pp. 115\u2013132. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35361-1_6"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Castiglioni, V., Loreti, M., Tini, S.: Bio-Stark: a tool for the time-point robustness analysis of biological systems. In: Proceedings of CMSB 2024. LNCS. Springer (2024, to appear)","DOI":"10.1016\/j.scico.2024.103134"},{"key":"2_CR16","unstructured":"Castiglioni, V., Loreti, M., Tini, S.: RobTL: robustness temporal logic for CPS. In: Proceedings of CONCUR 2024. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2024, to appear)"},{"key":"2_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2024.103134","volume":"236","author":"V Castiglioni","year":"2024","unstructured":"Castiglioni, V., Loreti, M., Tini, S.: STARK: a tool for the analysis of CPSs robustness. Sci. Comput. Program. 236, 103134 (2024). https:\/\/doi.org\/10.1016\/j.scico.2024.103134","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.3233\/JCS-2009-0393","volume":"18","author":"MR Clarkson","year":"2010","unstructured":"Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157\u20131210 (2010). https:\/\/doi.org\/10.3233\/JCS-2009-0393","journal-title":"J. Comput. Secur."},{"key":"2_CR19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"FORMATS 2010","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"key":"2_CR20","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 (2021). https:\/\/doi.org\/10.1109\/ACSOS-C52956.2021.00040","DOI":"10.1109\/ACSOS-C52956.2021.00040"},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"Esterle, L., Porter, B., Woodcock, J.: Verification and uncertainties in self-integrating system. In: 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, pp. 220\u2013225. IEEE (2021). https:\/\/doi.org\/10.1109\/ACSOS-C52956.2021.00040","DOI":"10.1109\/ACSOS-C52956.2021.00040"},{"issue":"42","key":"2_CR22","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262\u20134291 (2009). https:\/\/doi.org\/10.1016\/j.tcs.2009.06.021","journal-title":"Theor. Comput. Sci."},{"key":"2_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2022.104347","volume":"161","author":"M Frasheri","year":"2023","unstructured":"Frasheri, M., et al.: Addressing time discrepancy between digital and physical twins. Robot. Auton. Syst. 161, 104347 (2023). https:\/\/doi.org\/10.1016\/j.robot.2022.104347","journal-title":"Robot. Auton. Syst."},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"108952","DOI":"10.1109\/ACCESS.2020.2998358","volume":"8","author":"A Fuller","year":"2020","unstructured":"Fuller, A., Fan, Z., Day, C., Barlow, C.: Digital twin: enabling technologies, challenges and open research. IEEE Access 8, 108952\u2013108971 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2998358","journal-title":"IEEE Access"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"2116","DOI":"10.1109\/JIOT.2018.2872389","volume":"6","author":"S Gahlot","year":"2019","unstructured":"Gahlot, S., Reddy, S.R.N., Kumar, D.: Review of smart health monitoring approaches with survey analysis and proposed framework. IEEE Internet Things J. 6, 2116\u20132127 (2019). https:\/\/doi.org\/10.1109\/JIOT.2018.2872389","journal-title":"IEEE Internet Things J."},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-319-38756-7_4","volume-title":"Transdisciplinary Perspectives on Complex Systems","author":"M Grieves","year":"2017","unstructured":"Grieves, M., Vickers, J.: Digital twin: mitigating unpredictable, undesirable emergent behavior in complex systems. In: Kahlen, J., Flumerfelt, S., Alves, A. (eds.) Transdisciplinary Perspectives on Complex Systems, pp. 85\u2013113. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-38756-7_4"},{"issue":"4","key":"2_CR27","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-021-00633-z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker STORM. Int. J. Softw. Tools Technol. Transfer 24(4), 589\u2013610 (2022). https:\/\/doi.org\/10.1007\/s10009-021-00633-z","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HyTech: a model checker for hybrid systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 460\u2013463. Springer, Cham (1997). https:\/\/doi.org\/10.1007\/3-540-63166-6_48"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: a tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441\u2013444. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11691372_29"},{"key":"2_CR30","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","volume-title":"HSCC 2000","author":"J Hu","year":"2000","unstructured":"Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 160\u2013173. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46430-1_16"},{"key":"2_CR31","doi-asserted-by":"publisher","unstructured":"Ibrahim, M., Rass\u00f5lkin, A., Vaimann, T., Kallaste, A.: Overview on digital twin for autonomous electrical vehicles propulsion drive system. Sustainability 14(2) (2022). https:\/\/doi.org\/10.3390\/su14020601","DOI":"10.3390\/su14020601"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-031-28469-4_28","volume-title":"RoboCup 2022: Robot World Cup XXV","author":"ST Kempers","year":"2023","unstructured":"Kempers, S.T., et al.: Tech united Eindhoven middle size league winner 2022. In: Eguchi, A., Lau, N., Paetzel-Pr\u00fcsmann, M., Wanichanon, T. (eds.) RoboCup 2022. LNCS, vol. 13561, pp. 337\u2013348. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-28469-4_28"},{"key":"2_CR33","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"SFM 2007","author":"MZ Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72522-0_6"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-031-35355-0_6","volume-title":"FORTE 2023","author":"R Lanotte","year":"2023","unstructured":"Lanotte, R., Merro, M., Zannone, N.: Impact analysis of coordinated cyber-physical attacks via statistical model checking: a case study. In: Huisman, M., Ravara, A. (eds.) FORTE 2023. LNCS, vol. 13910, pp. 75\u201394. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35355-0_6"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-319-91908-9_23","volume-title":"Computing and Software Science - State of the Art and Perspectives","author":"A Legay","year":"2019","unstructured":"Legay, A., Lukina, A., Traonouez, L., Yang, J., Smolka, S.A., Grosu, R.: Statistical model checking. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science - State of the Art and Perspectives. LNCS, vol. 10000, pp. 478\u2013504. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_23"},{"key":"2_CR36","doi-asserted-by":"publisher","unstructured":"Li, S., Yang, Q., Xing, J., Chen, W., Zou, R.: A foundation model for building digital twins: a case study of a chiller. Buildings 12(8) (2022). https:\/\/doi.org\/10.3390\/buildings12081079","DOI":"10.3390\/buildings12081079"},{"key":"2_CR37","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2023.103942","volume":"150","author":"G Lugaresi","year":"2023","unstructured":"Lugaresi, G., Gangemi, S., Gazzoni, G., Matta, A.: Online validation of digital twins for manufacturing systems. Comput. Ind. 150, 103942 (2023). https:\/\/doi.org\/10.1016\/j.compind.2023.103942","journal-title":"Comput. Ind."},{"key":"2_CR38","unstructured":"Martinez, C.L., et al.: Tech united Eindhoven team description. Technical report, Eindhoven University of Technology (2014). https:\/\/www.techunited.nl\/media\/files\/TDP2014.pdf"},{"issue":"4","key":"2_CR39","doi-asserted-by":"publisher","first-page":"1232","DOI":"10.18421\/TEM84-18","volume":"8","author":"V Naderifar","year":"2019","unstructured":"Naderifar, V., Sahran, S., Shukur, Z.: A review on conformance checking technique for the evaluation of process mining algorithms. TEM J. 8(4), 1232 (2019). https:\/\/doi.org\/10.18421\/TEM84-18","journal-title":"TEM J."},{"key":"2_CR40","doi-asserted-by":"publisher","unstructured":"Pinciroli, R., Trubiani, C.: Model-based performance analysis for architecting cyber-physical dynamic spaces. In: Proceedings of ICSA 2021, pp. 104\u2013114. IEEE (2021). https:\/\/doi.org\/10.1109\/ICSA51549.2021.00018","DOI":"10.1109\/ICSA51549.2021.00018"},{"key":"2_CR41","doi-asserted-by":"publisher","first-page":"3585","DOI":"10.1109\/access.2018.2793265","volume":"6","author":"Q Qi","year":"2018","unstructured":"Qi, Q., Tao, F.: Digital twin and big data towards smart manufacturing and industry 4.0: 360 degree comparison. IEEE Access 6, 3585\u20133593 (2018). https:\/\/doi.org\/10.1109\/access.2018.2793265","journal-title":"IEEE Access"},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"2655","DOI":"10.1007\/s11831-020-09473-7","volume":"28","author":"S Riedmaier","year":"2021","unstructured":"Riedmaier, S., Danquah, B., Schick, B., Diermeyer, F.: Unified framework and survey for model verification, validation and uncertainty quantification. Arch. Comput. Methods Eng. 28, 2655\u20132688 (2021). https:\/\/doi.org\/10.1007\/s11831-020-09473-7","journal-title":"Arch. Comput. Methods Eng."},{"key":"2_CR43","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.ress.2015.01.023","volume":"138","author":"S Sankararaman","year":"2015","unstructured":"Sankararaman, S., Mahadevan, S.: Integration of model verification, validation, and calibration for uncertainty quantification in engineering systems. Reliab. Eng. Syst. Saf. 138, 194\u2013209 (2015). https:\/\/doi.org\/10.1016\/j.ress.2015.01.023","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"2_CR44","doi-asserted-by":"publisher","unstructured":"Sargent, R.G.: Verification and validation of simulation models. In: Proceedings of the 2010 Winter Simulation Conference, pp. 166\u2013183 (2010). https:\/\/doi.org\/10.1109\/WSC.2010.5679166","DOI":"10.1109\/WSC.2010.5679166"},{"key":"2_CR45","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1057\/JOS.2012.20","volume":"7","author":"RG Sargent","year":"2013","unstructured":"Sargent, R.G.: Verification and validation of simulation models. J. Simul. 7, 12\u201324 (2013). https:\/\/doi.org\/10.1057\/JOS.2012.20","journal-title":"J. Simul."},{"key":"2_CR46","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"CAV 2005","author":"K Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 266\u2013280. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_26"},{"key":"2_CR47","doi-asserted-by":"publisher","first-page":"26358","DOI":"10.1109\/ACCESS.2023.3257171","volume":"11","author":"E Shaikh","year":"2023","unstructured":"Shaikh, E., Al-Ali, A., Muhammad, S., Mohammad, N., Aloul, F.A.: Security analysis of a digital twin framework using probabilistic model checking. IEEE Access 11, 26358\u201326374 (2023). https:\/\/doi.org\/10.1109\/ACCESS.2023.3257171","journal-title":"IEEE Access"},{"key":"2_CR48","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2022.100383","volume":"30","author":"A Sharma","year":"2022","unstructured":"Sharma, A., Kosasih, E., Zhang, J., Brintrup, A., Calinescu, A.: Digital twins: state of the art theory and practice, challenges, and open research questions. J. Ind. Inf. Integr. 30, 100383 (2022). https:\/\/doi.org\/10.1016\/j.jii.2022.100383","journal-title":"J. Ind. Inf. Integr."},{"key":"2_CR49","doi-asserted-by":"publisher","unstructured":"Sifakis, J., Harel, D.: Trustworthy autonomous system development. ACM Trans. Embed. Comput. Syst. 22(3) (2023). https:\/\/doi.org\/10.1145\/3545178","DOI":"10.1145\/3545178"},{"key":"2_CR50","doi-asserted-by":"publisher","unstructured":"Soe, R.M.: FINEST twins: platform for cross-border smart city solutions. In: Proceedings of the 18th Annual International Conference on Digital Government Research, pp. 352\u2013357. Association for Computing Machinery (2017). https:\/\/doi.org\/10.1145\/3085228.3085287","DOI":"10.1145\/3085228.3085287"},{"key":"2_CR51","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/j.promfg.2019.03.057","volume":"31","author":"Y Umeda","year":"2019","unstructured":"Umeda, Y., et al.: Development of an education program for digital manufacturing system engineers based on \u2018digital triplet\u2019 concept. Procedia Manuf. 31, 363\u2013369 (2019). https:\/\/doi.org\/10.1016\/j.promfg.2019.03.057","journal-title":"Procedia Manuf."},{"issue":"3","key":"2_CR52","first-page":"64","volume":"5","author":"LN Vaserstein","year":"1969","unstructured":"Vaserstein, L.N.: Markovian processes on countable space product describing large systems of automata. Probl. Peredachi Inf. 5(3), 64\u201372 (1969)","journal-title":"Probl. Peredachi Inf."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68150-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:03:22Z","timestamp":1724155402000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68150-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031681493","9783031681509"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68150-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}