Digital system testing and testable design - Abramovici, Miron (Computer Science Press, 1990)