Efficient coordination of multiple-aircraft systems. - Gabriele Ribichini; Emilio Frazzoli (CDC, 2003)