The FAA's Advanced Automation System: Strategies for Future Air Traffic Control Systems | IEEE Journals & Magazine | IEEE Xplore