Hardware and Software: Verification and Testing - Ofer Strichman, Rachel Tzoref-Brill (Springer, 2017)