A Case Study Towards Verification of the Utility of Analytical Models in Selecting Checkpoint Intervals