On evaluating the cumulative performance distribution of fault-tolerant computer systems | IEEE Journals & Magazine | IEEE Xplore