An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination