{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T20:32:01Z","timestamp":1777926721317,"version":"3.51.4"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031197611","type":"print"},{"value":"9783031197628","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-19762-8_3","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"22-36","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Digital Twins for\u00a0Organ Preservation Devices"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3745-5514","authenticated-orcid":false,"given":"Aaron John","family":"Buhagiar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9661-563X","authenticated-orcid":false,"given":"Leo","family":"Freitas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1515-0514","authenticated-orcid":false,"given":"William E.","family":"Scott III","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4589-1500","authenticated-orcid":false,"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"OPTN\/SRTR 2018 annual data report. Am. J. Transp. 20(s1), 1\u201310 (2020). https:\/\/doi.org\/10.1111\/ajt.15670","DOI":"10.1111\/ajt.15670"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MSP.2013.49","volume":"11","author":"H Alemzadeh","year":"2013","unstructured":"Alemzadeh, H., et al.: Analysis of safety-critical computer failures in medical devices. IEEE Secur. Priv. 11(4), 14\u201326 (2013)","journal-title":"IEEE Secur. Priv."},{"key":"3_CR3","unstructured":"Aluko, S.: Development of a Mobile Monitoring Application for a Persufflation Device. Master\u2019s thesis, School of Computing, Newcastle University, UK (2022)"},{"issue":"6470","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1202","DOI":"10.1126\/science.aay9547","volume":"366","author":"B Babic","year":"2019","unstructured":"Babic, B., et al.: Algorithms on regulatory lockdown in medicine. Science 366(6470), 1202\u20131204 (2019). https:\/\/doi.org\/10.1126\/science.aay9547","journal-title":"Science"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., et al.: The functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International Modelica Conference. Munich, Germany (2012)","DOI":"10.3384\/ecp12076173"},{"key":"3_CR6","doi-asserted-by":"publisher","DOI":"10.3390\/jpm11080745","author":"MNK Boulos","year":"2021","unstructured":"Boulos, M.N.K., et al.: Digital twins: fFrom personalised medicine to precision public health. J. Personalized Med. (2021). https:\/\/doi.org\/10.3390\/jpm11080745","journal-title":"J. Personalized Med."},{"key":"3_CR7","unstructured":"Buhagiar, A.J.: Automated organ transplant preservation smart audit. Master\u2019s thesis, School of Computing, Newcastle University, UK (2020)"},{"key":"3_CR8","doi-asserted-by":"publisher","DOI":"10.3390\/transplantology2030035","author":"AJ Buhagiar","year":"2021","unstructured":"Buhagiar, A.J., Freitas, L., Scott, W.E.: Persufflation\u2014current state of play. Transplantology (2021). https:\/\/doi.org\/10.3390\/transplantology2030035","journal-title":"Transplantology"},{"key":"3_CR9","unstructured":"Clifford, H.: Modelling data extraction protocols for an organ preservation machine. Bachelor\u2019s thesis, School of Computing, Newcastle University, UK (2022)"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1097\/MOT.0000000000000306","volume":"21","author":"J De Deken","year":"2016","unstructured":"De Deken, J., et al.: Hypothermic machine perfusion in kidney transplantation. Curr. Opin. Organ Transplant. 21(3), 294\u2013300 (2016)","journal-title":"Curr. Opin. Organ Transplant."},{"key":"3_CR11","unstructured":"Department of health and human services, centers for medicare & medicaid services: organ procurement organizations (OPOs) (CMS-3380) (2020). https:\/\/www.cms.gov\/files\/document\/112020-opo-final-rule-cms-3380-f.pdf"},{"key":"3_CR12","unstructured":"FDA: Proposed regulatory framework for modifications to artificial intelligence\/machine learning based software as a medical device (SaMD) (2019)"},{"key":"3_CR13","unstructured":"General principles of software validation: standard. International Organization for Standardization, USA (2002)"},{"key":"3_CR14","unstructured":"Feng, H., et al.: The incubator case study for digital twin engineering. Tech. rep., Aarhus University (2021). https:\/\/arxiv.org\/abs\/2102.10390"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Feng, H., et al.: Integration of the Mape-K loop in digital twins. In: Submitted to IEEE Modelling and Simulation. IEEE (2022)","DOI":"10.23919\/ANNSIM55834.2022.9859489"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-030-30985-5_4","volume-title":"From Software Engineering to Formal Methods and Tools, and Back","author":"J Fitzgerald","year":"2019","unstructured":"Fitzgerald, J., Larsen, P.G., Pierce, K.: Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 40\u201355. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30985-5_4"},{"key":"3_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102545","author":"L Freitas","year":"2020","unstructured":"Freitas, L., et al.: Medicine-by-wire: practical considerations on formal techniques for dependable medical systems. Sci. Comput. Prog. (2020). https:\/\/doi.org\/10.1016\/j.scico.2020.102545","journal-title":"Sci. Comput. Prog."},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1038\/s41746-020-0262-2","volume":"3","author":"S Gerke","year":"2020","unstructured":"Gerke, S., et al.: The need for a system view to regulate artificial intelligence\/machine learning-based software as medical device. NPJ Digit. Med. 3(1), 53 (2020). https:\/\/doi.org\/10.1038\/s41746-020-0262-2","journal-title":"NPJ Digit. Med."},{"key":"3_CR19","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, F.-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":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1097\/TP.0000000000002401","volume":"103","author":"SA Hosgood","year":"2019","unstructured":"Hosgood, S.A., et al.: Reducing proinflammatory signaling and enhancing insulin secretion with the application of oxygen persufflation in human pancreata. Transplantation 103(1), 13\u201314 (2019)","journal-title":"Transplantation"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Hrgarek, N.: Certification and regulatory challenges in medical device software development. In: 2012 4th International Workshop on Software Engineering in Health Care (SEHC), pp. 40\u201343 (2012). https:\/\/doi.org\/10.1109\/SEHC.2012.6227011","DOI":"10.1109\/SEHC.2012.6227011"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Medical device software - Software life cycle processes. Geneva, CH (2006)","DOI":"10.1049\/ic:20060141"},{"issue":"3","key":"3_CR23","doi-asserted-by":"publisher","first-page":"S20","DOI":"10.1016\/j.cryobiol.2009.10.006","volume":"60","author":"MJ Taylor","year":"2010","unstructured":"Taylor, M.J., et al.: Current state of hypothermic machine perfusion preservation of organs: the clinical perspective. Cryobiology 60(3), S20\u2013S35 (2010). https:\/\/doi.org\/10.1016\/j.cryobiol.2009.10.006","journal-title":"Cryobiology"},{"key":"3_CR24","doi-asserted-by":"publisher","unstructured":"Kuca, K., et al.: The potential of medical device industry in technological and economical context. Therapeutics Clin. Risk Manag., 1505 (2015). https:\/\/doi.org\/10.2147\/tcrm.s88574","DOI":"10.2147\/tcrm.s88574"},{"issue":"6534","key":"3_CR25","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1126\/science.abf3370","volume":"371","author":"R Laubenbacher","year":"2021","unstructured":"Laubenbacher, R., et al.: Using digital twins in viral infection. Science 371(6534), 1105\u20131106 (2021). https:\/\/doi.org\/10.1126\/science.abf3370","journal-title":"Science"},{"key":"3_CR26","unstructured":"Legaard, C.M., et al.: Constructing neural network-based models for simulating dynamical systems (2021)"},{"key":"3_CR27","unstructured":"Miller, J.: Using formal methods to design, model, and verify the goals of a communication protocol between a perfusion machine and its consumable components. Bachelor\u2019s thesis, School of Computing, Newcastle University, UK (2020)"},{"issue":"9","key":"3_CR28","doi-asserted-by":"publisher","first-page":"2059","DOI":"10.3390\/ijms20092059","volume":"20","author":"T Minor","year":"2019","unstructured":"Minor, T., et al.: Rewarming injury after cold preservation. Int. J. Mol. Sci. 20(9), 2059 (2019). https:\/\/doi.org\/10.3390\/ijms20092059","journal-title":"Int. J. Mol. Sci."},{"key":"3_CR29","unstructured":"NHSBT: organ donation and transplantation activity report 2019\/20 (2020). www.odt.nhs.uk\/statistics-and-reports\/annual-activity-report\/"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL. LNCS, vol. 2283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9"},{"key":"3_CR31","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-019-45843-3","author":"D Patrono","year":"2019","unstructured":"Patrono, D., et al.: Hypothermic oxygenated machine perfusion of liver grafts from brain-dead donors. Sci. Rep. (2019). https:\/\/doi.org\/10.1038\/s41598-019-45843-3","journal-title":"Sci. Rep."},{"issue":"4","key":"3_CR32","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1109\/TII.2018.2873186","volume":"15","author":"F Tao","year":"2019","unstructured":"Tao, F., et al.: Digital twin in industry: state-of-the-art. IEEE Trans. Ind. Inform. 15(4), 2405\u20132415 (2019). https:\/\/doi.org\/10.1109\/TII.2018.2873186","journal-title":"IEEE Trans. Ind. Inform."},{"key":"3_CR33","unstructured":"Tempelman, L.A., et al.: Perfusing an organ with an in situ generated gas (9 Oct 2018). US Patent 10091985"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.simpat.2018.12.005","volume":"92","author":"C Thule","year":"2019","unstructured":"Thule, C., et al.: Maestro: The INTO-CPS co-simulation framework. Simul. Model. Pract. Theor. 92, 46\u201361 (2019). https:\/\/doi.org\/10.1016\/j.simpat.2018.12.005","journal-title":"Simul. Model. Pract. Theor."},{"key":"3_CR35","unstructured":"Topol, E.: The Topol Review: preparing the healthcare workforce to deliver the digital future. Technical Report, Health Education England (2019)"},{"key":"3_CR36","unstructured":"Tudor, N., et al.: ScubaDIVE: D1 - Sprint 1 Report. HUBCAP (2021)"},{"key":"3_CR37","unstructured":"Tudor, N., et al.: ScubaDIVE: D2 - Sprint 2 Report. HUBCAP (2021)"},{"key":"3_CR38","doi-asserted-by":"publisher","unstructured":"Voigt, I., et al.: Digital twins for multiple sclerosis. Frontiers in Immunology 12 (2021). https:\/\/doi.org\/10.3389\/fimmu.2021.669811","DOI":"10.3389\/fimmu.2021.669811"},{"key":"3_CR39","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1016\/j.future.2016.06.034","volume":"105","author":"J Zeng","year":"2020","unstructured":"Zeng, J., et al.: A survey: cyber-physical-social systems and their system-level design methodology. Future Gener. Comput. Syst. 105, 1028\u20131042 (2020). https:\/\/doi.org\/10.1016\/j.future.2016.06.034","journal-title":"Future Gener. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T02:43:04Z","timestamp":1728182584000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","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":"Rhodes","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}