Self-checking binary logic systems using ternary logic circuits | IEEE Journals & Magazine | IEEE Xplore