Impact of maintenance staffing on availability of the US air traffic control system | IEEE Conference Publication | IEEE Xplore