Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process | IEEE Journals & Magazine | IEEE Xplore