Zheng, Ziming, Li Yu, and Zhiling Lan. "Reliability-aware speedup models for parallel applications with coordinated checkpointing/restart." IEEE Transactions on Computers 64, no. 5 (2015): 1402-1415.