@book{24653,
	author = {Zurawski/Richard },
	title = {Embedded sytems design and verification},
	publisher = {CRC Press},
	year = {2009}
}