Maintenance Scheduling: Description, Literature Survey, and Interface with Overall Operations Scheduling | IEEE Journals & Magazine | IEEE Xplore