Enabling Digital Air Traffic Controller Assistant through Human-Autonomy Teaming Design | Synapse