Evaluating the Fault Tolerance of Stateful TMR | IEEE Conference Publication | IEEE Xplore