Modeling in Event-B : System and Software Engineering - Jean-Raymond Abrial (2010)