Efficient incremental checkpoint algorithm for primary-backup replication | IEEE Conference Publication | IEEE Xplore