A model for concurrent checkpointing and recovery using transactions | IEEE Conference Publication | IEEE Xplore