Using BPMN and HLA for SoS engineering: lessons learned and future directions | IEEE Conference Publication | IEEE Xplore