YuanLin Wen, MuDer Jeng. Diagnosable discrete event system design: A case study of automatic temperature control system. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008. pages 3691-3696, IEEE, 2008. [doi]
Abstract is missing.