{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T12:31:47Z","timestamp":1777379507283,"version":"3.51.4"},"reference-count":67,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T00:00:00Z","timestamp":1772409600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/100031478","name":"NextGenerationEU","doi-asserted-by":"publisher","award":["CUP F53D23009250001"],"award-info":[{"award-number":["CUP F53D23009250001"]}],"id":[{"id":"10.13039\/100031478","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100024370","name":"Ministero dell'Istruzione dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100024370","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100021856","name":"Ministero dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["F84D22000270001"],"award-info":[{"award-number":["F84D22000270001"]}],"id":[{"id":"10.13039\/501100021856","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003196","name":"Ministero della Salute","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003196","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Array"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1016\/j.array.2026.100738","type":"journal-article","created":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T08:01:41Z","timestamp":1774339301000},"page":"100738","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["HEDA-HF: A formally verified hybrid edge\u2013cloud digital twin architecture for heart failure management"],"prefix":"10.1016","volume":"30","author":[{"given":"Mohamed","family":"Ramdani","sequence":"first","affiliation":[]},{"given":"Teodoro","family":"Montanaro","sequence":"additional","affiliation":[]},{"given":"Yousra Ben","family":"Aissa","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Patrono","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"8","key":"10.1016\/j.array.2026.100738_b1","doi-asserted-by":"crossref","first-page":"1342","DOI":"10.1002\/ejhf.1858","article-title":"Epidemiology of heart failure: the prevalence of heart failure and ventricular dysfunction in older adults over time\u2014a systematic review","volume":"22","author":"Groenewegen","year":"2020","journal-title":"Eur J Hear Fail"},{"key":"10.1016\/j.array.2026.100738_b2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/JBHI.2025.3628501","article-title":"Enhancing chronic heart failure monitoring, prevention, and management with IoT and AI: A systematic literature review","author":"Rucco","year":"2025","journal-title":"IEEE J Biomed Health Inform"},{"issue":"23","key":"10.1016\/j.array.2026.100738_b3","doi-asserted-by":"crossref","DOI":"10.3390\/healthcare12232337","article-title":"Nurse-led interventions for improving medication adherence in chronic diseases: A systematic review","volume":"12","author":"Berardinelli","year":"2024","journal-title":"Healthcare"},{"issue":"27","key":"10.1016\/j.array.2026.100738_b4","doi-asserted-by":"crossref","first-page":"2129","DOI":"10.1093\/eurheartj\/ehw128","article-title":"2016 ESC guidelines for the diagnosis and treatment of acute and chronic heart failure","volume":"37","author":"Ponikowski","year":"2016","journal-title":"Eur Heart J"},{"issue":"4","key":"10.1016\/j.array.2026.100738_b5","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.3390\/s21041361","article-title":"Early detection of fluid retention in patients with advanced heart failure: A review of a novel multisensory algorithm, HeartLogicTM","volume":"21","author":"Feijen","year":"2021","journal-title":"Sensors"},{"key":"10.1016\/j.array.2026.100738_b6","doi-asserted-by":"crossref","DOI":"10.1016\/j.cardfail.2025.12.009","article-title":"Digital Twins and artificial intelligence in heart failure: The premise and the promise","author":"Mehra","year":"2026","journal-title":"J Card Fail"},{"issue":"12","key":"10.1016\/j.array.2026.100738_b7","doi-asserted-by":"crossref","first-page":"640","DOI":"10.4330\/wjc.v14.i12.640","article-title":"Telemonitoring in heart failure patients: Systematic review and meta-analysis of randomized controlled trials","volume":"14","author":"Umeh","year":"2022","journal-title":"World J Cardiol"},{"key":"10.1016\/j.array.2026.100738_b8","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-031-97772-5_14","article-title":"Designing a Digital Twin of the gut microbiome: A data-driven approach for personalized medicine","volume":"15740 LNCS","author":"Totaro","year":"2026","journal-title":"Lecture Notes in Comput Sci"},{"key":"10.1016\/j.array.2026.100738_b9","doi-asserted-by":"crossref","DOI":"10.1016\/j.comnet.2024.110632","article-title":"Definition and implementation of the cloud infrastructure for the integration of the human Digital Twin in the social internet of things","volume":"251","author":"Girau","year":"2024","journal-title":"Comput Netw"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b10","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10796-024-10536-4","article-title":"A conceptual framework for Digital Twin in healthcare: Evidence from a systematic meta-review","volume":"27","author":"Pellegrino","year":"2025","journal-title":"Inf Syst Front"},{"key":"10.1016\/j.array.2026.100738_b11","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2024.125917","article-title":"Digital Twins: A scientometric investigation into current progress and future directions","volume":"265","author":"Kaur","year":"2025","journal-title":"Expert Syst Appl"},{"key":"10.1016\/j.array.2026.100738_b12","first-page":"31","article-title":"Digital Twins in healthcare: Ethical implications of an emerging engineering paradigm","volume":"10","author":"Bruynseels","year":"2021","journal-title":"Front Genet"},{"issue":"15","key":"10.1016\/j.array.2026.100738_b13","doi-asserted-by":"crossref","first-page":"6896","DOI":"10.3390\/s23156896","article-title":"Wearable technologies and AI at the far edge for chronic heart failure prevention and management: a systematic review and prospects","volume":"23","author":"Shumba","year":"2023","journal-title":"Sensors"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.hrthm.2023.10.019","article-title":"Up digital and personal: How heart Digital Twins can transform heart patient care","volume":"21","author":"Trayanova","year":"2024","journal-title":"Hear Rhythm"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b15","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1038\/s41746-025-01501-9","article-title":"Identification of Digital Twins to guide interpretable AI for diagnosis and prognosis in heart failure","volume":"8","author":"Gu","year":"2025","journal-title":"NPJ Digit Med"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b16","doi-asserted-by":"crossref","first-page":"euae009","DOI":"10.1093\/europace\/euae009","article-title":"Virtual pacing of a patient\u2019s Digital Twin to predict left ventricular reverse remodelling after cardiac resynchronization therapy","volume":"26","author":"Koopsen","year":"2024","journal-title":"Europace"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b17","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/s43926-025-00135-3","article-title":"A Digital Twin framework for real-time healthcare monitoring: Leveraging AI and secure systems for enhanced patient outcomes","volume":"5","author":"Jameil","year":"2025","journal-title":"Discov Internet Things"},{"issue":"19","key":"10.1016\/j.array.2026.100738_b18","article-title":"Building Digital Twins for cardiovascular health: From principles to clinical impact","volume":"13","author":"Sel","year":"2024","journal-title":"J Am Hear Assoc"},{"issue":"48","key":"10.1016\/j.array.2026.100738_b19","doi-asserted-by":"crossref","first-page":"4556","DOI":"10.1093\/eurheartj\/ehaa159","article-title":"The \u2018Digital Twin\u2019to enable the vision of precision cardiology","volume":"41","author":"Corral-Acero","year":"2020","journal-title":"Eur Heart J"},{"issue":"17","key":"10.1016\/j.array.2026.100738_b20","doi-asserted-by":"crossref","first-page":"5272","DOI":"10.3390\/s25175272","article-title":"Digital cardiovascular twins, AI agents, and sensor data: A narrative review from system architecture to proactive heart health","volume":"25","author":"Tasmurzayev","year":"2025","journal-title":"Sensors"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b21","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1038\/s41746-025-01447-y","article-title":"Survey and perspective on verification, validation, and uncertainty quantification of Digital Twins for precision medicine","volume":"8","author":"Sel","year":"2025","journal-title":"Npj Digit Med"},{"key":"10.1016\/j.array.2026.100738_b22","series-title":"Artificial intelligence-empowered bio-medical applications","first-page":"135","article-title":"Challenges in regulating and validating AI-driven healthcare","author":"Panagoulias","year":"2025"},{"key":"10.1016\/j.array.2026.100738_b23","series-title":"Handbook of model checking","first-page":"1","author":"Clarke","year":"2018"},{"key":"10.1016\/j.array.2026.100738_b24","series-title":"Principles of model checking","author":"Baier","year":"2008"},{"issue":"2","key":"10.1016\/j.array.2026.100738_b25","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoret Comput Sci"},{"key":"10.1016\/j.array.2026.100738_b26","first-page":"200","article-title":"A tutorial on uppaal","author":"Behrmann","year":"2004","journal-title":"Form Methods Real-Time Syst"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b27","doi-asserted-by":"crossref","first-page":"295","DOI":"10.30574\/gscbps.2024.27.1.0174","article-title":"Advanced digital-twin odeling for predictive monitoring of postoperative cardiac patients using wearables and EHR data","volume":"27","author":"Adetunji","year":"2024","journal-title":"GSC Biological Pharm Sci"},{"issue":"23","key":"10.1016\/j.array.2026.100738_b28","doi-asserted-by":"crossref","first-page":"2895","DOI":"10.1097\/CM9.0000000000002896","article-title":"Opportunities and challenges of Digital Twin technology in healthcare","volume":"136","author":"Wang","year":"2023","journal-title":"Chin Med J (Engl)"},{"key":"10.1016\/j.array.2026.100738_b29","doi-asserted-by":"crossref","DOI":"10.1016\/j.array.2025.100575","article-title":"A systematic review of healthcare cyber\u2013physical systems with associated innovative technologies for Alzheimer\u2019s and Parkinson\u2019s diseases","volume":"28","author":"Amadiaz","year":"2025","journal-title":"Array"},{"issue":"4","key":"10.1016\/j.array.2026.100738_b30","doi-asserted-by":"crossref","first-page":"2255","DOI":"10.1109\/COMST.2022.3208773","article-title":"Digital Twins: A survey on enabling technologies, challenges, trends and future prospects","volume":"24","author":"Mihai","year":"2022","journal-title":"IEEE Commun Surv & Tutorials"},{"key":"10.1016\/j.array.2026.100738_b31","doi-asserted-by":"crossref","DOI":"10.1016\/j.array.2022.100176","article-title":"Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms","volume":"14","author":"Zambrano","year":"2022","journal-title":"Array"},{"key":"10.1016\/j.array.2026.100738_b32","series-title":"2025 7th international conference on pattern analysis and intelligent systems","first-page":"1","article-title":"Digital Twin-based smart irrigation for sustainable water management in arid areas","author":"Merizig","year":"2025"},{"key":"10.1016\/j.array.2026.100738_b33","article-title":"Blockchain-IoMT-enabled federated learning: An intelligent privacy-preserving control policy for electronic health records","volume":"28","author":"Munusamy","year":"2025","journal-title":"Array"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b34","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1038\/s41746-024-01073-0","article-title":"Digital Twins for health: a scoping review","volume":"7","author":"Katsoulakis","year":"2024","journal-title":"NPJ Digit Med"},{"issue":"3","key":"10.1016\/j.array.2026.100738_b35","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.1152\/physrev.00017.2023","article-title":"Computational modeling of cardiac electrophysiology and arrhythmogenesis: toward clinical translation","volume":"104","author":"Trayanova","year":"2024","journal-title":"Physiol Rev"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b36","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1038\/s41746-022-00640-7","article-title":"The health Digital Twin to tackle cardiovascular disease\u2014a review of an emerging interdisciplinary field","volume":"5","author":"Coorey","year":"2022","journal-title":"NPJ Digit Med"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b37","doi-asserted-by":"crossref","first-page":"24376","DOI":"10.1038\/s41598-025-08824-3","article-title":"Design and analysis of TwinCardio framework to detect and monitor cardiovascular diseases using Digital Twin and deep neural network","volume":"15","author":"Iyer","year":"2025","journal-title":"Sci Rep"},{"issue":"3","key":"10.1016\/j.array.2026.100738_b38","doi-asserted-by":"crossref","first-page":"1392","DOI":"10.1109\/TASE.2020.3006435","article-title":"RCTL: New temporal logic for improved formal verification of reconfigurable discrete-event systems","volume":"18","author":"Ramdani","year":"2021","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"10.1016\/j.array.2026.100738_b39","series-title":"Handbook of satisfiability","first-page":"739","article-title":"Bounded model checking","author":"Biere","year":"2021"},{"key":"10.1016\/j.array.2026.100738_b40","doi-asserted-by":"crossref","DOI":"10.1016\/j.array.2022.100146","article-title":"Enhancing cybersecurity by generating user-specific security policy through the formal modeling of user behavior","volume":"14","author":"AlQadheeb","year":"2022","journal-title":"Array"},{"key":"10.1016\/j.array.2026.100738_b41","article-title":"Formal verification of clinical AI workflows using timed automata","volume":"140","author":"Chen","year":"2023","journal-title":"Artif Intell Med"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artmed.2009.09.003","article-title":"Adopting model checking techniques for clinical guidelines verification","volume":"48","author":"Bottrighi","year":"2010","journal-title":"Artif Intell Med"},{"key":"10.1016\/j.array.2026.100738_b43","series-title":"Digital Twins, simulation, and the metaverse: driving efficiency and effectiveness in the physical world through simulation in the virtual worlds","first-page":"119","article-title":"A formal framework for Digital Twin modeling, verification, and validation","author":"Traore","year":"2024"},{"key":"10.1016\/j.array.2026.100738_b44","series-title":"Formal verification of Digital Twins with TLA and information leakage control","author":"Huang","year":"2024"},{"key":"10.1016\/j.array.2026.100738_b45","first-page":"73","article-title":"Probabilistic model checking: Advances and applications","author":"Kwiatkowska","year":"2017","journal-title":"Form Syst Verif: State-of the-Art Futur Trends"},{"key":"10.1016\/j.array.2026.100738_b46","series-title":"2015 IEEE international symposium on medical measurements and applications (meMeA) proceedings","first-page":"180","article-title":"Towards a probabilistic model checking-based approach for medical device risk assessment","author":"Cicotti","year":"2015"},{"key":"10.1016\/j.array.2026.100738_b47","series-title":"Foundational research gaps and future directions for Digital Twins","author":"Willcox","year":"2023"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b48","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1038\/s41746-020-0260-4","article-title":"Verification, analytical validation, and clinical validation (V3): the foundation of determining fit-for-purpose for biometric monitoring technologies (BioMeTs)","volume":"3","author":"Goldsack","year":"2020","journal-title":"Npj Digit Med"},{"key":"10.1016\/j.array.2026.100738_b49","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/ACCESS.2020.3045115","article-title":"Edge intelligence and internet of things in healthcare: A survey","volume":"9","author":"Amin","year":"2020","journal-title":"IEEE Access"},{"key":"10.1016\/j.array.2026.100738_b50","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1016\/j.ins.2020.12.021","article-title":"Edge computing and its role in industrial internet: Methodologies, applications, and future directions","volume":"557","author":"Zhang","year":"2021","journal-title":"Inform Sci"},{"issue":"21","key":"10.1016\/j.array.2026.100738_b51","doi-asserted-by":"crossref","first-page":"8885","DOI":"10.3390\/s23218885","article-title":"Toward QoS monitoring in IoT edge devices driven healthcare\u2014a systematic literature review","volume":"23","author":"Younas","year":"2023","journal-title":"Sensors"},{"issue":"5","key":"10.1016\/j.array.2026.100738_b52","first-page":"3875","article-title":"Edge intelligence in healthcare: Design and deployment challenges","volume":"10","author":"Garcia","year":"2023","journal-title":"IEEE Internet Things J"},{"key":"10.1016\/j.array.2026.100738_b53","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1016\/j.ins.2022.12.094","article-title":"Application of fuzzy learning in IoT-enabled remote healthcare monitoring and control of anesthetic depth during surgery","volume":"626","author":"Farivar","year":"2023","journal-title":"Inform Sci"},{"issue":"4","key":"10.1016\/j.array.2026.100738_b54","article-title":"AI-driven resource allocation in edge-fog computing: Leveraging digital twins for efficient healthcare systems.","volume":"16","author":"Mohamed Nouh","year":"2025","journal-title":"Int J Adv Comput Sci Appl"},{"key":"10.1016\/j.array.2026.100738_b55","series-title":"2024 IEEE computer society annual symposium on VLSI","first-page":"433","article-title":"DT-IoMT: A Digital Twin reference model for secure internet of medical things","author":"Kabir","year":"2024"},{"key":"10.1016\/j.array.2026.100738_b56","series-title":"2023 IEEE 3rd international conference on Digital Twins and parallel intelligence","first-page":"1","article-title":"XCardio-Twin: An explainable framework to aid in monitoring and analysis of cardiovascular status","author":"Krzysiak","year":"2023"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b57","doi-asserted-by":"crossref","DOI":"10.18103\/mra.v11i1.3489","article-title":"Remote monitoring in heart failure: recent trends and future perspectives","volume":"11","author":"Shah","year":"2023","journal-title":"Med Res Arch"},{"key":"10.1016\/j.array.2026.100738_b58","article-title":"Digital Twin in healthcare: Recent updates and challenges","volume":"9","author":"Sun","year":"2023","journal-title":"Digit Health"},{"key":"10.1016\/j.array.2026.100738_b59","series-title":"2023 IEEE symposium on computers and communications","first-page":"1","article-title":"Formal analysis of an iot-based healthcare application","author":"Elleuch","year":"2023"},{"key":"10.1016\/j.array.2026.100738_b60","series-title":"Digital Twins for smart cities and urban planning","first-page":"69","article-title":"Digital Twins in healthcare: Revolutionizing patient care and medical operations","author":"Faisal","year":"2025"},{"issue":"13","key":"10.1016\/j.array.2026.100738_b61","doi-asserted-by":"crossref","first-page":"2198","DOI":"10.3390\/math13132198","article-title":"Federated learning-driven IoT request scheduling for fault tolerance in cloud data centers","volume":"13","author":"Aburukba","year":"2025","journal-title":"Mathematics"},{"issue":"1","key":"10.1016\/j.array.2026.100738_b62","doi-asserted-by":"crossref","first-page":"25589","DOI":"10.1038\/s41598-025-09698-1","article-title":"Adaptive conflict resolution for IoT transactions: A reinforcement learning-based hybrid validation protocol","volume":"15","author":"Khaldy","year":"2025","journal-title":"Sci Rep"},{"key":"10.1016\/j.array.2026.100738_b63","series-title":"2012 IEEE 33rd real-time systems symposium","first-page":"263","article-title":"Quantitative verification of implantable cardiac pacemakers","author":"Chen","year":"2012"},{"issue":"11","key":"10.1016\/j.array.2026.100738_b64","doi-asserted-by":"crossref","first-page":"3662","DOI":"10.1109\/JSAC.2023.3310097","article-title":"Digital Twin empowered wireless healthcare monitoring for smart home","volume":"41","author":"Chen","year":"2023","journal-title":"IEEE J Sel Areas Commun"},{"key":"10.1016\/j.array.2026.100738_b65","series-title":"2019 IEEE international symposium on medical measurements and applications","first-page":"1","article-title":"Cardio twin: A Digital Twin of the human heart running on the edge","author":"Martinez-Velazquez","year":"2019"},{"issue":"5","key":"10.1016\/j.array.2026.100738_b66","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1038\/s44161-025-00650-0","article-title":"Developing cardiac Digital Twin populations powered by machine learning provides electrophysiological insights in conduction and repolarization","volume":"4","author":"Qian","year":"2025","journal-title":"Nat Cardiovasc Res"},{"issue":"4","key":"10.1016\/j.array.2026.100738_b67","doi-asserted-by":"crossref","DOI":"10.1177\/14604582241296792","article-title":"Architecture designing of Digital Twin in a healthcare unit","volume":"30","author":"Noeikham","year":"2024","journal-title":"Health Informatics J"}],"container-title":["Array"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2590005626000615?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2590005626000615?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T09:14:34Z","timestamp":1777367674000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2590005626000615"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":67,"alternative-id":["S2590005626000615"],"URL":"https:\/\/doi.org\/10.1016\/j.array.2026.100738","relation":{},"ISSN":["2590-0056"],"issn-type":[{"value":"2590-0056","type":"print"}],"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"HEDA-HF: A formally verified hybrid edge\u2013cloud digital twin architecture for heart failure management","name":"articletitle","label":"Article Title"},{"value":"Array","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.array.2026.100738","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"100738"}}