Modeling of air traffic arrival operations through agent-based simulation | IEEE Conference Publication | IEEE Xplore