J. Woodcock, First Steps in the Verified Software Grand Challenge, Computer, vol.39, issue.10, pp.57-64, 2006.
DOI : 10.1109/MC.2006.340

I. Lee, G. J. Pappas, R. Cleaveland, J. Hatcliff, B. H. Krogh et al., The Problem with Threads, Computer, vol.39, issue.5, pp.33-38, 2006.
DOI : 10.1109/MC.2006.180

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

H. D. Macedo, P. G. Larsen, J. Fitzgerald, and . Lncs, Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM, pp.181-197, 2008.
DOI : 10.1007/978-3-540-68237-0_14

D. Bjorner, DOMAIN ENGINEERING Technology Managemnt, Reserach and Engineering, COE Research Monograph Series. JAIST, vol.4, 2009.

V. P. Manna, A. T. Bonanno, and A. Motta, Poster on a simple pacemaker implementation, 2009.

D. Cansell and D. Méry, The event-B Modelling Method: Concepts and Case Studies, pp.33-140, 2007.
DOI : 10.1007/978-3-540-74107-7_3
URL : https://hal.archives-ouvertes.fr/inria-00579550

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

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

R. Back, On correct refinement of programs, Journal of Computer and System Sciences, vol.23, issue.1, pp.49-68, 1979.
DOI : 10.1016/0022-0000(81)90005-2

J. R. Abrial, The B book -Assigning Programs to Meanings, 1996.

C. Morgan, Programming from Specifications. Prentice Hall International Series in Computer Science, 1990.

J. R. Abrial and D. Cansell, Click???n Prove: Interactive Proofs within Set Theory, pp.1-24, 2003.
DOI : 10.1007/10930755_1
URL : https://hal.archives-ouvertes.fr/inria-00099836

G. T. Leavens, J. R. Abrial, D. Batory, M. Butler, A. Coglio et al., Roadmap for enhanced languages and methods to aid verification, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.221-235, 2006.
DOI : 10.1145/1173706.1173740

K. A. Ellenbogen and M. A. Wood, In: Cardiac Pacing and ICDs, Blackwell, 2005.

E. Gamma, R. Helm, R. Johnson, R. Vlissides, and P. Gamma, Design Patterns : Elements of Reusable Object-Oriented Software design Patterns, 1994.

J. R. Abrial, Using design patterns in formal devlopments example: A mechanical press controler. journe scientifique du ppf iaem transversal -dveloppement incrmental et prouv de systmes, 2006.

D. Cansell, D. Méry, and J. Rehm, Time Constraint Patterns for Event B Development, Lecture Notes in Computer Science, pp.140-154, 2006.
DOI : 10.1007/11955757_13
URL : https://hal.archives-ouvertes.fr/hal-00149163

J. Rehm, Pattern Based Integration of Time applied to the 2-Slots Simpson Algorithm In: Integration of Model-based Formal Methods and Tools in IFM, 2009.

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

D. Bjørner and M. C. Henson, Logics of Specification Languages, EATCS Textbook in Computer Science, 2007.
DOI : 10.1007/978-3-540-74107-7