Optimal preventive maintenance scheduling in semiconductor manufacturing | IEEE Journals & Magazine | IEEE Xplore