Modeling in Event-B: System and Software Engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
The B-book: assigning programs to meanings, 1996. ,
DOI : 10.1017/CBO9780511624162
Adaptable Translator of B Specifications to Embedded C Programs, pp.94-113, 2003. ,
DOI : 10.1007/978-3-540-45236-2_7
Automatic generation of c from event-b, " in Workshop on Integration of Model-based Formal Methods and Tools, Papers, 2009. ,
Rigorous open development environment for complex systems, 2004. ,
Functional behavior of a cardiac pacing system (in Press), International Journal of Discrete Event Control Systems, vol.1, 2010. ,