A Tool for the Automatic Verification of BPMN Choreographies | IEEE Conference Publication | IEEE Xplore