FERNANDO: A Software Transient Fault Tolerance Approach for Embedded Systems Based on Redundant Multi-Threading | IEEE Journals & Magazine | IEEE Xplore