Temporal Verification for Business Cloud Workflows: Open Research Issues | IEEE Conference Publication | IEEE Xplore