Abrial, Jean-Raymond. Modeling in Event-B: System and Software Engineering. Cambridge, UK: Cambridge University Press, 2010.