Maneuver option manager: automated simplification of complex air traffic control problems | IEEE Journals & Magazine | IEEE Xplore