Cho, K.-H Lim, J.-T Synthesis of Fault-tolerant Supervisor for automated Manufactureing Systms: A Case Study on Photolithographic Process. - 348-351 p.