Digital hardware testing: transistor-level fault modeling and testing - Rajsuman, Rochit (Artech House telecommunications library, 1992)