Hardware and Software: Verification and Testing - Roderick Bloem, Eli Arbel (Springer, 2016)