Supervisory control: Air traffic control specialist performance in shared versus traded states | IEEE Conference Publication | IEEE Xplore