Digital systems testing and testable design - Abramovici, Miron (Jaico Publishing, 2001)