Low overhead optimal checkpointing for mobile distributed systems | IEEE Conference Publication | IEEE Xplore