Comparing different functional allocations in automated air traffic control design | IEEE Conference Publication | IEEE Xplore