Building and comparing models of user interfaces for air traffic control | IEEE Conference Publication | IEEE Xplore