Distributed scheduling for air traffic throughput maximization during the terminal phase of flight | IEEE Conference Publication | IEEE Xplore