A BPMN/HLA-Based Methodology for Collaborative Distributed DES | IEEE Conference Publication | IEEE Xplore