Fault-Tolerant Control of Discrete Event Systems: Comparison of two approaches on the same case study | IEEE Conference Publication | IEEE Xplore