Static Analysis of Business Artifact-centric Operational Models | IEEE Conference Publication | IEEE Xplore