Seyed-Ali, Sadegh-Zadeh, Septavera, Sharvia, Anuoluwapo, Akintoye, Koorosh, Aslansefat and Yiannis, Papadopoulos (2026) An Intelligent Safety-Driven Design and Verification of ECG Telehealth Systems: A Model-Based Approach and Case Study. Quality and Reliability Engineering International. ISSN 0748-8017