Strong fault-secure and strongly self-checking domino-CMOS implementations of totally self-checking circuits | IEEE Journals & Magazine | IEEE Xplore