John C. Ramirez Rami G. Melhem Reducing Message Overhead in TMR Systems. 45-54 1999 ICDCS http://doi.ieeecomputersociety.org/10.1109/ICDCS.1999.776505 db/conf/icdcs/icdcs99.html#RamirezM99