Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process. - Gao-Rong Ning; Jing Zhao 016; Yunlong Lou; Javier Alonso 001; Rivalino Matias; Kishor S. Trivedi; Bei-Bei Yin; Kai-Yuan Cai (IEEE Trans. Reliab., 2016)