ICTEST : A Unified System for Functional Testing and Simulation of Digital ICs. - I. M. Watson; John A. Newkirk; Robert G. Mathews; D. B. Boyle (ITC, 1982)