Validation by Fault Injection of a Software Error Detection Technique Dealing with Critical Single Event Upsets. - S. Torrellas; Bogdan Nicolescu; Raul Velazco; Mario García-Valderas; Yvon Savaria (LATW, 2006)