Conceptual Workflow Verification and Optimization for Artifact-Centric Business Process | IEEE Conference Publication | IEEE Xplore