High-Confidence Medical Devices : Cyber-Physical Systems for 21st Century Health Care ,
Modeling in Event-B: System and Software Engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
Pacemaker system specification, 2007. ,
Logics of Specification Languages, pp.33-140, 2007. ,
The verified software initiative, ACM Computing Surveys, vol.41, issue.4, pp.1-8, 2009. ,
DOI : 10.1145/1592434.1592439
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. ,
Pacemaker's Functional Behaviors in Event-B, Research Report, 2009. ,
Technical Report on Formal Development of Two-Electrode Cardiac Pacing System, Research Report, 2010. ,
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
Rigorous open development environment for complex systems, 2004. ,
Rate- Responsive Pacing Controlled by the TVI Sensor in the Treatment of Sick Sinus Syndrome, 2006. ,
Adobe Flash CS3 professional bible, p.1232, 2007. ,
BRAMA: A New Graphic Animation Tool for B Models, LNCS, pp.274-276, 2006. ,
DOI : 10.1007/11955757_28
Cardiac Pacing and ICDs, 2005. ,
Simplified Interpretations of Pacemaker ECGs, 2003. ,
DOI : 10.1002/9780470695982
Goaloriented requirements animation. Requirements Engineering, IEEE International Conference on, pp.218-228, 2004. ,
The verification grand challenge, J. UCS, vol.13, issue.5, pp.661-668, 2007. ,
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
Potet and Antoine Requet and Laurent Voisin Adaptable Translator of B Specifications to Embedded C Programs, pp.94-113, 2003. ,
Cardiac Pacemakers and Defibrillators, 2006. ,