Diagnosis of Double Faults Consisting of a Stuck-at Fault and a Transition Fault | IEEE Conference Publication | IEEE Xplore