@book{15538,
	author = {Zander, Justyna.},
	title = {Model-based testing for embedded systems},
	publisher = {CRC Press,},
	year = {2011.},
	series = {Computational analysis, synthesis, and design of dynamic systems ; 13},
	address = {Boca Raton, Fla. :},
	url = {http://marc.crcnetbase.com/isbn/9781439818473}
}