RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes | IEEE Conference Publication | IEEE Xplore