A new, efficient coordinated checkpointing protocol combined with selective sender-based message logging | IEEE Conference Publication | IEEE Xplore