A Methodology for Automatic Insertion of Selective TMR in Digital Circuits Affected by SEUs | IEEE Journals & Magazine | IEEE Xplore