J. Abrial, The B-Book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

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

J. Abrial, M. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.15, issue.1, pp.447-466, 2010.
DOI : 10.1007/s10009-010-0145-y

R. Back and R. Kurki-suonio, Decentralization of Process Nets with Centralized Control, Symposium on Principles of Distributed Computing, pp.131-142, 1983.

S. S. Barold, R. Stroobandt, and A. F. Sinnaeve, Cardiac Pacemakers and Resynchronization Step-by-Step: an Illustrated Guide, 2010.
DOI : 10.1002/9781444323214

J. Bendisposto, ProB 2.0 Developer Handbook, 2014.

J. Bryans, J. Fitzgerald, A. Romanovsky, and A. Roth, Patterns for Modelling Time and Consistency in Business Information Systems, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.105-114, 2010.
DOI : 10.1109/ICECCS.2010.43

M. Butler and J. Falampin, An Approach to Modelling and Refining Timing Properties in B, Proceedings of Workshop on Refinement of Critical Systems (RCS), 2002.

D. Cansell, D. Méry, and J. Rehm, Time Constraint Patterns for Event B Development Formal Specification and Development in B, LNCS, vol.4355, pp.140-154, 2006.

D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, SMT Solvers for Rodin, Abstract State Machines, Alloy, B, VDM, and Z, pp.194-207, 2012.
DOI : 10.1007/978-3-642-30885-7_14

A. O. Gomes and M. Oliveira, Formal Development of a Cardiac Pacemaker: From Specification to Code, Formal Methods: Foundations and Applications, pp.210-225, 2011.
DOI : 10.1007/978-3-540-73210-5_25

E. Jee, S. Wang, J. K. Kim, J. Lee, O. Sokolsky et al., A Safety-Assured Development Approach for Real-Time Software, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications, pp.133-142, 2010.
DOI : 10.1109/RTCSA.2010.42

Z. Jiang, M. Pajic, S. Moarref, R. Alur, and R. Mangharam, Modeling and Verification of a Dual Chamber Implantable Pacemaker, Tools and Algorithms for the Construction and Analysis of Systems, pp.188-203, 2012.
DOI : 10.1007/978-3-642-28756-5_14

M. Leuschel and M. Butler, ProB: A Model Checker for B, FME 2003: Formal Methods, pp.855-874, 2003.
DOI : 10.1007/978-3-540-45236-2_46

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

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

J. Rehm, From Absolute-Timer to Relative-Countdown: Patterns for Model-Checking. Unpublished, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00319104

M. R. Sarshogh, Extending Event-B with Discrete Timing Properties, 2013.

V. Savicks, M. Butler, and J. Colley, Co-simulating Event-B and Continuous Models via FMI, 2014 Summer Computer Simulation Conference. Society for Modeling & Simulation International ( SCS ), 2014.

G. Sulskus, M. Poppleton, and A. Rezazadeh, Example Event-B project, 2014.

G. Sulskus, M. Poppleton, and A. Rezazadeh, An Investigation into Event- B Methodologies and Timing Constraint Modelling, 2014.

J. Wang, Handbook of Finite State Based Models and Applications. Discrete Mathematics and Its Applications, 2012.

F. Yang and J. Jacquot, Scaling Up with Event-B: A Case Study, NASA Formal Methods, pp.438-452, 2011.
DOI : 10.1023/A:1018977602872
URL : https://hal.archives-ouvertes.fr/inria-00604687