@book{207611,
	author = {Boulanger, Jean-Louis,},
	title = {Formal methods applied to industrial complex systems /},
	publisher = {ISTE, Ltd. ;},
	year = {2014.},
	series = {Computer engineering series},
	address = {London :},
	url = {http://onlinelibrary.wiley.com/book/10.1002/9781119004707}
}