Enabling Digital Air Traffic Controller Assistant through Human-Autonomy Teaming Design | IEEE Conference Publication | IEEE Xplore