%0 Journal Article %B Simulation Modelling Practice and Theory %D 2019 %G eng %T Optimum checkpoints for programs with loops %V 97 %8 07/2019