Checkpoint-recovery protocol for reliable mobile systems | IEEE Conference Publication | IEEE Xplore