Probability of State Transition Errors in a Finite State Machine Containing Soft Failures. - Guang Xing Wang; G. Robert Redinbo (IEEE Trans. Computers, 1984)