A UML profile for HLA-based simulation system modeling | IEEE Conference Publication | IEEE Xplore