Correctness Verification for Service-Based Business Processes | IEEE Conference Publication | IEEE Xplore