Efficient and fault-tolerant checkpointing procedures for distributed systems | IEEE Conference Publication | IEEE Xplore