Hardware and Software: Verification and Testing - Biere (Springer Berlin Heidelberg, 2013)