Queuing Models for Estimating Aircraft Fleet Availability | IEEE Journals & Magazine | IEEE Xplore