Modeling Software Rejuvenation on a Redundant System Using Monte Carlo Simulation | IEEE Conference Publication | IEEE Xplore