B. Meroufel and G. Belalem, “ABSTRACTION CHECKPOINTING LEVELS: PROBLEMS AND SOLUTIONS”, IJC, vol. 13, no. 3, pp. 158-169, Aug. 2014.