Incremental Checkpointing for Fault-Tolerant Stream Processing Systems: A Data Structure Approach | IEEE Journals & Magazine | IEEE Xplore