Validation of a simulation model of the National Airspace System | IEEE Conference Publication | IEEE Xplore