1. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT press, Cambridge (2008)
2. Cao, Y., Ying, M.: Observability and decentralized control of fuzzy discrete-event systems. IEEE Trans. Fuzzy Syst. 14(2), 202–216 (2006)
3. Clarke, E., Grumberg, O., Peled, D.: Model Checking. Massachusetts, London, UK, Cambridge (1999)
4. Deng, W., Qiu, D.: Bifuzzy discrete event systems and their supervisory control theory. IEEE Trans. Fuzzy Syst. 23(6), 2107–2121 (2015)
5. Drakopoulos, J.A.: Probabilities, possibilities, and fuzzy sets. Fuzzy Sets Syst. 75(1), 1–15 (1995)