A distributed simulation model of air traffic in the national airspace system | IEEE Conference Publication | IEEE Xplore