Kishor S. Trivedi Kalyanaraman Vaidyanathan Software Rejuvenation - Modeling and Analysis. 151-182 2004 conf/ifip/2004tut IFIP Congress Tutorials db/conf/ifip/ifip2004tut.html#TrivediV04