@book{206466,
	author = {Boulanger, Jean-Louis.},
	title = {Industrial used of formal method : formal verification /},
	publisher = {ISTE ;},
	year = {©2012.},
	address = {London :},
	url = {http://onlinelibrary.wiley.com/book/10.1002/9781118561829}
}