@book{5127,
	author = {Boulange, Jean-Louis},
	title = {Industrial Use of Formal Methods :},
	publisher = {John Wiley & Sons,},
	year = {c 2012.},
	address = {Hoboken, New Jersey :},
	url = {https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781118561829?download=true}
}