New aviation vehicles in the NextGen environment: Procedures design in congested terminal airspace | IEEE Conference Publication | IEEE Xplore