A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S | IEEE Conference Publication | IEEE Xplore