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

J. Abrial, The B-book: assigning programs to meanings, 1996.
DOI : 10.1017/CBO9780511624162

D. Bert, S. Boulmé, M. Potet, A. Requet, and L. Voisin, Adaptable Translator of B Specifications to Embedded C Programs, pp.94-113, 2003.
DOI : 10.1007/978-3-540-45236-2_7

S. Wright, Automatic generation of c from event-b, " in Workshop on Integration of Model-based Formal Methods and Tools, Papers, 2009.

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

D. Méry and N. Singh, Functional behavior of a cardiac pacing system (in Press), International Journal of Discrete Event Control Systems, vol.1, 2010.