An optimistic checkpointing and selective message logging approach for consistent global checkpoint collection in distributed systems | IEEE Conference Publication | IEEE Xplore