SR3: Customizable Recovery for Stateful Stream Processing Systems. - Hailu Xu; Pinchao Liu; Susana Cruz-Diaz; Dilma Da Silva; Liting Hu (Middleware, 2020)