Co-verification of hardware and software for ARM SoC design - Andrews, Jason R. (Elsevier/Newnes, 2005)