An analytical model for predicting the impact of maintenance resource allocation on air traffic control system availability | IEEE Conference Publication | IEEE Xplore