Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines | IEEE Journals & Magazine | IEEE Xplore