VLSI fault modeling and testing techniques - Zobrist, George W. (VLSI design automation series, 1993)