Separating air traffic flows by allocating 3D-trajectories