Formulation of the Air Traffic System as a Management Problem | IEEE Journals & Magazine | IEEE Xplore