@book{57882,
	author = {Abrial, Jean-Raymond},
	title = {Modeling in Event-B :},
	publisher = {Cambridge University Press,},
	year = {2010},
	address = {Cambridge ;}
}