Computational modeling of air traffic control: terminal area case study | IEEE Conference Publication | IEEE Xplore