Airspace Geometry and 4D Flight Proximity Detection for Simulation of the National Airspace System | IEEE Conference Publication | IEEE Xplore