Digital systems testing and testable design - Abramovici, Miron (Jaico Pub, 2002)