Propagation-Aware Temporal Verification for Parallel Business Cloud Workflows | IEEE Conference Publication | IEEE Xplore