Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net | IEEE Conference Publication | IEEE Xplore