Abstract: National Airspace Systems (NAS) are cyber-physical systems that require swift air traffic management (ATM) to ensure flight safety and efficiency. With the surging demand for air travel and ...