On the efficiency of the transition fault model for delay faults | IEEE Conference Publication | IEEE Xplore