Guaranteed fault detection sequences for single transition faults in finite state machine models using concurrent fault simulation. - Niranjan L. Cooray; Edward W. Czeck (J. Electron. Test., 1996)