@book{69816,
	author = {Zander, Justyna},
	title = {Model-based testing for embedded systems /},
	publisher = {CRC Press,},
	year = {c2012},
	series = {Computational analysis, synthesis, and design of dynamic systems},
	address = {Boca Raton, FL :}
}