Modeling coordinated checkpointing for large-scale supercomputers | IEEE Conference Publication | IEEE Xplore