Checkpointing integration of fault tolerance paper