A high-level architecture framework for Air Traffic Management (ATM) Operations | IEEE Conference Publication | IEEE Xplore