Deadlock-free scheduling of photolithography equipment in semiconductor fabrication | IEEE Journals & Magazine | IEEE Xplore