D. K. Pradhan and N. H. Vaidya, "Roll-forward checkpointing scheme: a novel fault-tolerant architecture," in IEEE Transactions on Computers, vol. 43, no. 10, pp. 1163-1174, Oct. 1994, doi: 10.1109/12.324542. ↩