Modeling and Validating BPMN Diagrams | IEEE Conference Publication | IEEE Xplore