A high-level architecture framework for Air Traffic Management (ATM) Operations. - Mark Simons; Sally Stalnaker; Constance Morgan (SysCon, 2013)