CEC: Continuous eventual checkpointing for data stream processing operators | IEEE Conference Publication | IEEE Xplore