Cumulative vs. local models of operator utilization describing an air traffic control task | IEEE Conference Publication | IEEE Xplore