J. R. Abrial, The B Book, 1996.
DOI : 10.1017/CBO9780511624162

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

M. Leuschel and M. Butler, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9

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

S. Wright, Automatic Generation of C from Event-B. In : Workshop on Integration of Modelbased Formal Methods and Tools, 2009.

F. Yang and J. P. Jacquot, Scaling Up with Event-B: A Case Study, The 3rd NASA Formal Methods Symposium (NFM'11), pp.438-452, 2011.
DOI : 10.1023/A:1018977602872
URL : https://hal.archives-ouvertes.fr/inria-00604687