Checkpointing Manages Non-Deterministic Systems