CTAS: Computer intelligence for air traffic control in the terminal area | Synapse