A Theory of Totally Self-Checking System Design | IEEE Journals & Magazine | IEEE Xplore