Design of Totally Self-Checking Circuits with an Unrestricted Stuck-At Fault-Set Using Redundancy in Space and Time Domains. - K. V. S. S. Prasad Rao; Dhruba Basu (IEEE Trans. Computers, 1983)