Hardware and Software: Verification and Testing - Barner, Sharon (Springer Berlin Heidelberg, 2011)