Using checkpoints to localize the effects of faults in distributed systems | IEEE Conference Publication | IEEE Xplore