Text this: Digital systems testing and testable design / Miron Abramovici, Melvin A. Breuer, Arthur D. Friedman.