M. Kapus-Kolar, “Improvements to a Roll-Back Mechanism for Asynchronous Checkpointing and Recovery”, IJCAI, vol. 33, no. 4.