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

J. Abrial and D. Cansell, Formal development of simpson's 4-slot algorithm, 2006.

J. Abrial and S. Hallerstede, Refinement, decomposition , and instantiation of discrete models: Application to event-b. Fundam, Inform, vol.77, issue.1 2, pp.1-28, 2007.

D. Cansell and D. Méry, Foundations of the b method, Computers and Artificial Intelligence, vol.22, issue.3, pp.221-256, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099794

D. Cansell, D. , and J. Rehm, Time constraint patterns for event B development Formal Specification and Development in B, pp.140-154, 2006.

S. Colin, G. Mariano, and V. Poirriez, Duration Calculus: A Real-Time Semantic for B, Lecture Notes in Computer Science, vol.3407, pp.431-446, 2004.
DOI : 10.1007/978-3-540-31862-0_31

J. Rehm and D. Cansell, Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method, RNTI ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, volume RNTI-SM-1, pp.179-190, 2007.
DOI : 10.1007/s10009-009-0130-5
URL : https://hal.archives-ouvertes.fr/hal-00184837

H. Simpson, Four-slot fully asynchronous communication mechanism. Computers and Digital Techniques, IEE Proceedings, vol.137, issue.1, pp.17-30, 1990.
DOI : 10.1049/ip-e.1990.0002

C. Zhou and M. R. Hansen, Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science, 2004.