Hardware and Software: Verification and Testing - Bertacco, Valeria; Legay, Axel; Legay, Axel (Springer International Publishing, 2013)