Synthesis of optimal fault-tolerant supervisor for discrete event systems | IEEE Conference Publication | IEEE Xplore