HLA-based adaptive distributed simulation of wireless mobile systems