Stochastic Models for Fault Tolerance: Restart, Rejuvenation and Checkpointing | lit.salon