Logic simulation and fault analysis of a self-checking switching processor. - Herbert Y. Chang; Robert C. Dorr; R. A. Elliott (DAC, 1972)