Stochastic Models for Fault Tolerance : Restart, Rejuvenation and Checkpointing - Katinka Wolter (Springer)