Hagbae Kim Kang G. Shin Design and Analysis of an Optimal Instruction-Retry Policy for TMR Controller Computers. 1217-1225 1996 45 IEEE Trans. Computers 11 db/journals/tc/tc45.html#KimS96a http://doi.ieeecomputersociety.org/10.1109/12.544478