Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System

[1]  M. Turakhia,et al.  P577Early experience with the first pacemakers to directly connect with smart devices for remote monitoring , 2019, European Heart Journal.

[2]  T. Aziz,et al.  Security of implantable medical devices with wireless connections: The dangers of cyber-attacks , 2018, Expert review of medical devices.

[3]  D. Kramer,et al.  Cybersecurity Concerns and Medical Devices: Lessons From a Pacemaker Advisory. , 2017, JAMA.

[4]  Mei Hong,et al.  Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO , 2017, Int. J. Distributed Sens. Networks.

[5]  J. Piccini,et al.  The Relationship Between Level of Adherence to Automatic Wireless Remote Monitoring and Survival in Pacemaker and Defibrillator Patients. , 2015, Journal of the American College of Cardiology.

[6]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[7]  Marco Levorato,et al.  Performance Analysis of End-to-End Security Schemes in Healthcare IoT , 2018, ANT/SEIT.

[8]  Bo Chen,et al.  From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT , 2016, J. Sensors.

[9]  Katja Zeppenfeld,et al.  Statistics on the use of cardiac electronic devices and electrophysiological procedures in the European Society of Cardiology countries: 2014 report from the European Heart Rhythm Association. , 2015, Europace : European pacing, arrhythmias, and cardiac electrophysiology : journal of the working groups on cardiac pacing, arrhythmias, and cardiac cellular electrophysiology of the European Society of Cardiology.