Modeling in event-B system and software engineering - Abrial, Jean-Raymond (Cambridge Cambridge University Press, 2010)
Keywords: Formal methods (Computer science)