Optimization of preventive maintenance scheduling for semiconductor manufacturing systems: models and implementation | IEEE Conference Publication | IEEE Xplore