A Survey of Analytic Models of Rollback and Recovery Stratergies | Synapse