NAS-wide simulation of air traffic with ATC behavior model | IEEE Conference Publication | IEEE Xplore