Daowen Qiu Supervisory control of fuzzy discrete event systems: a formal approach. 72-88 2005 35 IEEE Transactions on Systems, Man, and Cybernetics, Part B 1 http://dx.doi.org/10.1109/TSMCB.2004.840457 db/journals/tsmc/tsmcb35.html#Qiu05