@book{120986,
	author = {Fujita, Masahiro, and Ghosh, Indradeep, and ebrary, Inc.},
	title = {Verification techniques for system-level design},
	publisher = {Morgan Kaufmann Publishers,},
	year = {c2008.},
	series = {The Morgan Kaufmann series in systems on silicon},
	address = {Amsterdam ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10203637}
}