RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes | Publicación