Learning Terminal Airspace Traffic Models from Flight Tracks and Procedures | IEEE Conference Publication | IEEE Xplore