Separation of Concerns in Analysis of Artifact Anomalies within Workflow Models | IEEE Conference Publication | IEEE Xplore