@book{82985,
	author = {Boulanger, Jean-Louis},
	title = {Formal methods applied to industrial complex systems /},
	publisher = {ISTE Ltd/John Wiley and Sons Inc,},
	year = {2014},
	series = {Computer engineering series},
	address = {Hoboken, NJ :}
}