Modeling the Impact of Checkpoints on Next-Generation Systems | IEEE Conference Publication | IEEE Xplore