Jing Yu María Jesús Garzarán Compiler Optimizations for Fault Tolerance Software Checking. 433 2007 PACT http://doi.ieeecomputersociety.org/10.1109/PACT.2007.22 conf/IEEEpact/2007 db/conf/IEEEpact/IEEEpact2007.html#YuG07