Abramovici, Breuer & Friedman, Digital Systems Testing and Testable Design, (), IEEE Press, 1995. 9780780310629. (Required).