Detailed Modeling and Evaluation of a Scalable Multilevel Checkpointing System | IEEE Journals & Magazine | IEEE Xplore