Hardware and Software, Verification and Testing - Bin, Eyal (Springer Berlin Heidelberg, 2020)