Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing - Wolter, Kirk M. (Springer-Verlag Berlin Heidelberg, 2010)