Synthesis of fault-tolerant supervisor for automated manufacturing systems: a case study on photolithographic process | IEEE Journals & Magazine | IEEE Xplore