A Technique for Estimating Performance of Fault-Tolerant Programs | IEEE Journals & Magazine | IEEE Xplore