Digital systems testing and testable design - Abramovici, Miron (IEEE, 1990)