"Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation."

Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics