Low Overhead Optimal Checkpointing for Mobile Distributed Systems. - L. Kumar; Muldip Mishra; Ramesh C. Joshi (ICDE, 2003)