Jiang Wu, D. Manivannan: An enhanced model-based checkpointing protocol for preventing useless checkpoints. Int. J. Parallel Emergent Distributed Syst. 24(5): 383-406 (2009)