Simulation and modeling of air traffic over the Western Atlantic Route System | IEEE Conference Publication | IEEE Xplore