Investigating the complexity of transitioning separation assurance tools into NextGen Air Traffic Control | IEEE Conference Publication | IEEE Xplore