A. Reseach, D. Report, and . Nitrd, High-Confidence Medical Devices : Cyber-Physical Systems for 21st Century Health Care

J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

B. Boston-scientific and . Scientific, Pacemaker system specification, 2007.

D. Cansell and D. Méry, Logics of Specification Languages, pp.33-140, 2007.

C. A. Hoare, J. Misra, G. T. Leavens, and N. Shankar, The verified software initiative, ACM Computing Surveys, vol.41, issue.4, pp.1-8, 2009.
DOI : 10.1145/1592434.1592439

A. E. Writing-committee-members, J. P. Epstein, K. A. Dimarco, . Ellenbogen, N. A. Estes et al., Guidelines for Device-Based Therapy of Cardiac Rhythm Abnormalities: Executive Summary: A Report of the American College of Cardiology, American Heart Association Task Force on Practice Guidelines (Writing Committee to Revise the ACC/AHA/NASPE 2002 Guideline Update for Implantation of Cardiac Pacemakers and Antiarrhythmia Devices): Developed in Collaboration With the American Association for Thoracic Surgery and Society of Thoracic Surgeons, pp.1172820-2840, 2008.

D. Méry and N. Singh, Pacemaker's Functional Behaviors in Event-B, Research Report, 2009.

D. Méry and N. Singh, Technical Report on Formal Development of Two-Electrode Cardiac Pacing System, Research Report, 2010.

C. Ponsard, P. Massonet, A. Rifaut, J. F. Molderez, A. Van-lamsweerde et al., Early Verification and Validation of Mission Critical Systems, Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, pp.237-254, 2004.
DOI : 10.1016/j.entcs.2004.08.067

R. Project, Rigorous open development environment for complex systems, 2004.

M. A. Quiones, F. Tornes, Y. Fayad, R. Zayas, J. Castro et al., Rate- Responsive Pacing Controlled by the TVI Sensor in the Treatment of Sick Sinus Syndrome, 2006.

R. Reinhardt and S. Dowd, Adobe Flash CS3 professional bible, p.1232, 2007.

T. Servat, BRAMA: A New Graphic Animation Tool for B Models, LNCS, pp.274-276, 2006.
DOI : 10.1007/11955757_28

A. Kenneth, M. A. Ellenbogen, and . Wood, Cardiac Pacing and ICDs, 2005.

A. Hesselson, Simplified Interpretations of Pacemaker ECGs, 2003.
DOI : 10.1002/9780470695982

H. T. Van, P. Van-lamsweerde, C. Massonet, and . Ponsard, Goaloriented requirements animation. Requirements Engineering, IEEE International Conference on, pp.218-228, 2004.

J. Woodcock and R. Banach, The verification grand challenge, J. UCS, vol.13, issue.5, pp.661-668, 2007.

A. Mashkoor, J. Jacquot, and J. Souquires, Transformation Heuristics for Formal Requirements Validation by Animation, 2nd International Workshop on the Certification of Safety-Critical Software Controlled System, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00374082

D. Bert, S. Boulmé, and M. , Potet and Antoine Requet and Laurent Voisin Adaptable Translator of B Specifications to Embedded C Programs, pp.94-113, 2003.

C. J. Love, Cardiac Pacemakers and Defibrillators, 2006.