Design and modeling of a non-blocking checkpointing system | IEEE Conference Publication | IEEE Xplore