An HLA-based BPMN extension for the specification of business process collaborations | IEEE Conference Publication | IEEE Xplore