Comparison of Parallel and Deductive Fault Simulation Methods. - Herbert Yu-Pang Chang; Stephen G. Chappell; Charles H. Elmendorf; Lonnie D. Schmidt (IEEE Trans. Computers, 1974)