Engineering systems by combining BPMN and HLA-based distributed simulation | IEEE Conference Publication | IEEE Xplore