Availability Analysis of a Fault-Tolerant Computer System | IEEE Journals & Magazine | IEEE Xplore