A globally optimized checkpointing scheme for time warp - Tay, S.C. (2013)
International Journal of Modelling and Simulation