Hardware and Software: Verification and Testing - Namjoshi, Kedar (Springer Berlin Heidelberg, 2011)