Compressed incremental checkpointing for efficient replicated key-value stores | IEEE Conference Publication | IEEE Xplore