Efficient and Adaptive Stateful Replication for Stream Processing Engines in High-Availability Cluster | IEEE Journals & Magazine | IEEE Xplore