Test pattern generation for delay faults by G. van Brakel