Behavioral analysis of a fault-tolerant software system with rejuvenation | IEEE Conference Publication | IEEE Xplore