Availability and Cost Analysis of a Fault-Tolerant Software System with Rejuvenation | IEEE Conference Publication | IEEE Xplore