@book{1348,
	author = {Andrews, Jason R.},
	title = {Co-verification of hardware and software for ARM SoC design/},
	publisher = {Elsevier Inc.},
	year = {c2012.},
	address = {Amsterdam:}
}