Diverse Compiling for Microprocessor Fault Detection in Temporal Redundant Systems | IEEE Conference Publication | IEEE Xplore