Digital systems testing and testable design - edited by Miron Abramovici ,Melvin A. Breuer ,Arthur D. Friedman (Jaico publ., Mumbai, 2001)