Optimal Preventive Maintenance Scheduling in Semiconductor Manufacturing Systems: Software Tool and Simulation Case Studies | IEEE Journals & Magazine | IEEE Xplore