A Software-Based Redundant Execution Programming Model for Transient Fault Detection and Correction | IEEE Conference Publication | IEEE Xplore