@book{104400,
	author = {Andrews, Jason R.},
	title = {Co-verification of hardware and software for ARM SoC design /},
	publisher = {Elsevier Newnes,},
	year = {c2005.},
	series = {Embedded technology series},
	address = {Burlington, MA :},
	note = {Includes index.},
	url = {http://site.ebrary.com/id/10128060}
}