Concurrent Hierarchical Fault Simulation: A Performance Model and Two Optimizations. - William A. Rogers; John F. Guzolek; Jacob A. Abraham (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)