Modeling in Event-B - Jean-Raymond Abrial (Cambridge University Press, 2013)