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