@book{82404,
	author = {Campos, Javier},
	title = {Formal methods in manufacturing /},
	publisher = {CRC Press,},
	year = {2014},
	series = {Industrial information technology series},
	address = {Boca Rotan :}
}