Analysis of an energy efficient optimistic TMR scheme | IEEE Conference Publication | IEEE Xplore