byuccl.github.io/assets/Applying_Compiler-Automated_Software_Fault_Tolerance_to_Multiple_Processor_Platforms