An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles | IEEE Conference Publication | IEEE Xplore