{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T07:39:06Z","timestamp":1763105946004,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031368882"},{"type":"electronic","value":"9783031368899"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-36889-9_31","type":"book-chapter","created":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T21:01:50Z","timestamp":1689454910000},"page":"467-482","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Engineering of\u00a0Trust Analysis-Driven Digital Twins for\u00a0a\u00a0Medical Device"],"prefix":"10.1007","author":[{"given":"Marcello M.","family":"Bersani","sequence":"first","affiliation":[]},{"given":"Chiara","family":"Braghin","sequence":"additional","affiliation":[]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]},{"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,7,16]]},"reference":[{"key":"31_CR1","unstructured":"ASMETA (ASM mETAmodeling) toolset, https:\/\/asmeta.github.io\/"},{"key":"31_CR2","unstructured":"Functional Mock-up Interface, https:\/\/fmi-standard.org\/"},{"key":"31_CR3","doi-asserted-by":"publisher","unstructured":"Abba, A., et al.: The novel Mechanical Ventilator Milano for the COVID-19 pandemic. Physics of Fluids 33(3), 037122 (mar 2021). https:\/\/doi.org\/10.1063\/5.0044445","DOI":"10.1063\/5.0044445"},{"key":"31_CR4","doi-asserted-by":"publisher","unstructured":"Ahmed, H., Devoto, L.: The potential of a digital twin in surgery. Surgical Innovation 28, 509-\/510 (12 2020). https:\/\/doi.org\/10.1177\/1553350620975896","DOI":"10.1177\/1553350620975896"},{"issue":"5","key":"31_CR5","doi-asserted-by":"publisher","first-page":"3049","DOI":"10.1007\/s10270-018-00712-x","volume":"18","author":"N Bencomo","year":"2019","unstructured":"Bencomo, N., G\u00f6tz, S., Song, H.: Models@run.time: a guided tour of the state of the art and research challenges. Software & Systems Modeling 18(5), 3049\u20133082 (2019). https:\/\/doi.org\/10.1007\/s10270-018-00712-x","journal-title":"Software & Systems Modeling"},{"key":"31_CR6","doi-asserted-by":"publisher","unstructured":"Bersani, M.M., Braghin, C., Cortellessa, V., Gargantini, A., Grassi, V., Presti, F.L., Mirandola, R., Pierantonio, A., Riccobene, E., Scandurra, P.: Towards trust-preserving continuous co-evolution of digital twins. In: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C). pp. 96\u201399 (2022). https:\/\/doi.org\/10.1109\/ICSA-C54293.2022.00024","DOI":"10.1109\/ICSA-C54293.2022.00024"},{"key":"31_CR7","doi-asserted-by":"publisher","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E.: Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA. In: Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS, vol. 349, pp. 13\u201329 (2021). https:\/\/doi.org\/10.4204\/EPTCS.349.2","DOI":"10.4204\/EPTCS.349.2"},{"key":"31_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111605","volume":"198","author":"S Bonfanti","year":"2023","unstructured":"Bonfanti, S., Riccobene, E., Scandurra, P.: A component framework for the runtime enforcement of safety properties. Journal of Systems and Software 198, 111605 (2023). https:\/\/doi.org\/10.1016\/j.jss.2022.111605","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"31_CR9","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1080\/10619127.2021.1915047","volume":"31","author":"W Bonivento","year":"2021","unstructured":"Bonivento, W., Gargantini, A., Kr\u00fccken, R., Razeto, A.: The Mechanical Ventilator Milano. Nuclear Physics News 31(3), 30\u201333 (2021). https:\/\/doi.org\/10.1080\/10619127.2021.1915047","journal-title":"Nuclear Physics News"},{"key":"31_CR10","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Berlin, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-56641-1","DOI":"10.1007\/978-3-662-56641-1"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"31_CR12","doi-asserted-by":"publisher","unstructured":"Camilli, M., Mirandola, R., Scandurra, P.: Runtime equilibrium verification for resilient cyber-physical systems. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Washington, DC, USA, September 27 - Oct. 1, 2021. pp. 71\u201380. IEEE (2021). https:\/\/doi.org\/10.1109\/ACSOS52086.2021.00025","DOI":"10.1109\/ACSOS52086.2021.00025"},{"key":"31_CR13","doi-asserted-by":"publisher","unstructured":"Campbell, D., Brown, J.: The Electrical Analogue of Lung. British Journal of Anaesthesia 35(11), 684\u2013692 (nov 1963). https:\/\/doi.org\/10.1093\/bja\/35.11.684","DOI":"10.1093\/bja\/35.11.684"},{"issue":"4","key":"31_CR14","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. International Journal on Software Tools for Technology Transfer 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0361-y","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"31_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/s10877-022-00822-4","author":"A van Diepen","year":"2022","unstructured":"van Diepen, A., Bakkes, T.H.G.F., De Bie, A.J.R., Turco, S., Bouwman, R.A., Woerlee, P.H., Mischi, M.: A Model-Based Approach to Synthetic Data Set Generation for Patient-Ventilator Waveforms for Machine Learning and Educational Use. Journal of Clinical Monitoring and Computing (2022). https:\/\/doi.org\/10.1007\/s10877-022-00822-4","journal-title":"Journal of Clinical Monitoring and Computing"},{"key":"31_CR16","doi-asserted-by":"publisher","unstructured":"Falcone, Y., Mariani, L., Rollet, A., Saha, S.: Runtime failure prevention and reaction. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification - Introductory and Advanced Topics, LNCS, vol. 10457, pp. 103\u2013134. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_4","DOI":"10.1007\/978-3-319-75632-5_4"},{"key":"31_CR17","doi-asserted-by":"publisher","unstructured":"Fitzgerald, J., Larsen, P.G., Margaria, T., Woodcock, J.: Engineering of digital twins for cyber-physical systems. In: ISoLA 2020. p. 49\u201353. Springer-Verlag, Berlin, Heidelberg (2020). https:\/\/doi.org\/10.1007\/978-3-030-83723-5_4","DOI":"10.1007\/978-3-030-83723-5_4"},{"key":"31_CR18","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":"31_CR19","doi-asserted-by":"publisher","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. UCS 14(12) (2008). https:\/\/doi.org\/10.3217\/jucs-014-12-1949","DOI":"10.3217\/jucs-014-12-1949"},{"key":"31_CR20","doi-asserted-by":"publisher","unstructured":"Heinrich, R., Dur\u00e1n, F., Talcott, C.L., Zschaler, S. (eds.): Composing Model-Based Analysis Tools. Springer (2021). https:\/\/doi.org\/10.4230\/DagRep.9.11.97","DOI":"10.4230\/DagRep.9.11.97"},{"key":"31_CR21","doi-asserted-by":"publisher","unstructured":"Huiskamp, W., van den Berg, T.: Federated Simulations, pp. 109\u2013137. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-51043-9_6","DOI":"10.1007\/978-3-319-51043-9_6"},{"key":"31_CR22","doi-asserted-by":"publisher","unstructured":"Jimenez, J.I., Jahankhani, H., Kendzierskyj, S.: Health Care in the Cyberspace: Medical Cyber-Physical System and Digital Twin Challenges, pp. 79\u201392. Springer International Publishing, Cham (2020). DOI: https:\/\/doi.org\/10.1007\/978-3-030-18732-3_6","DOI":"10.1007\/978-3-030-18732-3_6"},{"key":"31_CR23","doi-asserted-by":"publisher","unstructured":"Kirchhof, J.C., Michael, J., Rumpe, B., Varga, S., Wortmann, A.: Model-Driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems. In: Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems. p. 90\u2013101. MODELS \u201920, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3365438.3410941","DOI":"10.1145\/3365438.3410941"},{"key":"31_CR24","doi-asserted-by":"publisher","unstructured":"Kritzinger, W., Karner, M., Traar, G., Henjes, J., Sihn, W.: Digital twin in manufacturing: A categorical literature review and classification. IFAC-PapersOnLine 51(11), 1016\u20131022 (2018). https:\/\/doi.org\/10.1016\/j.ifacol.2018.08.474, 16th IFAC Symposium on Information Control Problems in Manufacturing INCOM 2018","DOI":"10.1016\/j.ifacol.2018.08.474"},{"key":"31_CR25","doi-asserted-by":"publisher","unstructured":"Lestingi, L., Askarpour, M., Bersani, M.M., Rossi, M.: Formal Verification of Human-Robot Interaction in Healthcare Scenarios. In: de Boer, F., Cerone, A. (eds.) Software Engineering and Formal Methods. pp. 303\u2013324. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58768-0_17","DOI":"10.1007\/978-3-030-58768-0_17"},{"key":"31_CR26","doi-asserted-by":"publisher","unstructured":"Lestingi, L., Sbrolli, C., Scarmozzino, P., Romeo, G., Bersani, M.M., Rossi, M.: Formal modeling and verification of multi-robot interactive scenarios in service settings. In: 2022 IEEE\/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE). pp. 80\u201390 (2022). https:\/\/doi.org\/10.1145\/3524482.3527653","DOI":"10.1145\/3524482.3527653"},{"key":"31_CR27","doi-asserted-by":"publisher","unstructured":"Lilli, M., Braghin, C., Riccobene, E.: Formal Proof of a Vulnerability in Z-Wave IoT Protocol. In: Proc. of Int. Conf. on Security and Cryptography - SECRYPT, pp. 198\u2013209 (2021). https:\/\/doi.org\/10.5220\/0010553301980209","DOI":"10.5220\/0010553301980209"},{"key":"31_CR28","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":"31_CR29","doi-asserted-by":"publisher","first-page":"1383","DOI":"10.1007\/s10845-019-01516-6","volume":"31","author":"AJH Redelinghuys","year":"2019","unstructured":"Redelinghuys, A.J.H., Basson, A.H., Kruger, K.: A six-layer architecture for the digital twin: a manufacturing case study implementation. Journal of Intelligent Manufacturing 31(6), 1383\u20131402 (2019). https:\/\/doi.org\/10.1007\/s10845-019-01516-6","journal-title":"Journal of Intelligent Manufacturing"},{"key":"31_CR30","doi-asserted-by":"publisher","unstructured":"Riccobene, E., Scandurra, P.: Model-based simulation at runtime with abstract state machines. In: Communications in Computer and Information Science, pp. 395\u2013410. Springer International Publishing (2020). https:\/\/doi.org\/10.1007\/978-3-030-59155-7_29","DOI":"10.1007\/978-3-030-59155-7_29"},{"key":"31_CR31","doi-asserted-by":"publisher","unstructured":"Signoret, J.P., Leroy, A.: Reliability Block Diagrams (RBDs), pp. 195\u2013208. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-64708-7_15","DOI":"10.1007\/978-3-030-64708-7_15"},{"key":"31_CR32","doi-asserted-by":"publisher","unstructured":"Talcott, C., Ananieva, S., Bae, K., Combemale, B., Heinrich, R., Hills, M., Khakpour, N., Reussner, R., Rumpe, B., Scandurra, P., Vangheluwe, H.: Composition of Languages, Models, and Analyses, pp. 45\u201370. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81915-6<_4","DOI":"10.1007\/978-3-030-81915-6<_4"},{"issue":"4","key":"31_CR33","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 Transactions on Industrial Informatics 15(4), 2405\u20132415 (2019). https:\/\/doi.org\/10.1109\/TII.2018.2873186","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"5","key":"31_CR34","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. Software & Systems Modeling 18(5), 2821\u20132842 (2018). https:\/\/doi.org\/10.1007\/s10270-018-0700-7","journal-title":"Software & Systems Modeling"},{"key":"31_CR35","doi-asserted-by":"publisher","unstructured":"Weyns, D.: Software engineering of self-adaptive systems. In: Cha, S., Taylor, R.N., Kang, K.C. (eds.) Handbook of Software Engineering, pp. 399\u2013443. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"31_CR36","doi-asserted-by":"publisher","unstructured":"Yue, T., Arcaini, P., Ali, S.: Understanding digital twins for cyber-physical systems: A conceptual model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. Lecture Notes in Computer Science, vol. 12479, pp. 54\u201371. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-83723-5_5","DOI":"10.1007\/978-3-030-83723-5_5"}],"container-title":["Lecture Notes in Computer Science","Software Architecture. ECSA 2022 Tracks and Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-36889-9_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T21:05:01Z","timestamp":1689455101000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-36889-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031368882","9783031368899"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-36889-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"16 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Architecture","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsa2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ecsa-2022","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"61","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2 tutorial papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}