Stochastic Models for Fault Tolerance: Restart,