Integrated management of radio aids to air navigation.