@book{63763,
	author = {Boulanger, Jean-Louis},
	title = {Industrial used of formal method :},
	publisher = {Wiley,},
	year = {2012},
	address = {Hoboken, NJ :}
}