Using checkpoints to localize the effects of faults in distributed systems - Ahamad, Mustaque; Lin, Luke (1988)