@book{58811,
	author = {Roychoudhury, Abhik},
	title = {Embedded systems and software validation /},
	publisher = {Morgan Kaufmann Publishers/Elsevier,},
	year = {c2009},
	series = {The Morgan Kaufmann series in systems on silicon},
	address = {Amsterdam ;}
}