Software rejuvenation of a fault-tolerant server subject to correlated failure | IEEE Conference Publication | IEEE Xplore