Lightweight blocking coordinated checkpointing for cluster computer systems | IEEE Conference Publication | IEEE Xplore