A language for enabling model-driven analysis of business processes | IEEE Conference Publication | IEEE Xplore