Digital System Test and Testable Design - Navabi, Zainalabedin (Springer US, 2011)