Validation by Fault Injection of a Software Error Detection Technique Dealing with Critical Single Event Upsets.