Embedded totally self-checking checkers: a practical design | IEEE Journals & Magazine | IEEE Xplore