You may also find the following papers useful.
Hallerstede, S., and M. Leuschel. “Experiments in Program Verification
Using Event-B.” Formal Aspects of Computing 24, no. 1 (2012): 97–125.
Hallerstede, Stefan. “Structured Event-B Models and Proofs.” In Abstract
State Machines, Alloy, B and Z, edited by Marc Frappier, Uwe Glässer,
Sarfraz Khurshid, Régine Laleau, and Steve Reeves, 5977:273–286. Lecture
Notes in Computer Science. Springer Berlin / Heidelberg, 2010.
Boström, P. “Creating Sequential Programs from Event-B Models.” In
Integrated Formal Methods, 74–88, 2010.
On Mon, Jan 21, 2013 at 3:29 PM, Hoang, Thai Son <htson@...> wrote: