Implicit deductive fault simulation for complex delay fault models. - J. V. Deodhar; Spyros Tragoudas (IEEE Trans. Very Large Scale Integr. Syst., 2004)