A Domain-Specific Language for Application-Level Checkpointing. - Ritu Arora; Marjan Mernik; Purushotham V. Bangalore; Suman Roychoudhury; Saraswathi Mukkai (ICDCIT, 2008)