On Redundancy and Fault Detection in Sequential Circuits | IEEE Journals & Magazine | IEEE Xplore