An Expert System for Analysis of Consistency Criteria in Checkpointing Algorithms. - Shahram Rahimi 001; Guruprasad Nagaraja; Lisa Gandy; Bidyut Gupta (Scalable Comput. Pract. Exp., 2007)