Investigating the complexity of transitioning separation assurance tools into nextgen air traffic control | IEEE Conference Publication | IEEE Xplore