Adaptive Checkpointing with Storage Management for Mobile Environments - K.-F. Ssu (2010)