@book{207630,
	author = {Boulanger, Jean-Louis,},
	title = {Formal methods applied to complex systems : implementation of the B Method /},
	publisher = {ISTE ;},
	year = {2014.},
	series = {Computer engineering series},
	address = {London :},
	url = {http://onlinelibrary.wiley.com/book/10.1002/9781119002727}
}