V. L. Tran, Éric Renault, V. H. Ha, and X. H. Do, “Time-stamp Incremental Checkpointing and Its Application for an Optimization of Execution Model to Improve Performance of CAPE”, IJCAI, vol. 42, no. 3, Sep. 2018.