Sliding-window based Propagation-aware Temporal Verification for Monitoring Parallel Cloud Business Workflows | IEEE Conference Publication | IEEE Xplore