1. Alur, R. and D. Dill(1990). Automata for modelling real-time systems. In Proc.17th International Symposium on Automata, languages, and Programming,Lecture Notes on Computer Science, vol.443, pp. 322–335. Springer Verlag.
2. Lin F.(1993) Robust and adaptive supervisory control of discrete event systems.IEEE Transactions on Automatic Control, T-AC-36, October 1993, pp.18481852.
3. Ramadge, P. and W. M. Wonham(1987). Supervisory control of a class of dis-crete event processes. SIAM Journal of Control and Optimization, 25: 206–230, 1987
4. Sampath M., R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneket-zis(1995). Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, IEEE-T-AC-40, no. 9, pp. 1555–1575.
5. Sifakis J. and S. Yovine(1996) Compositional specification of timed systems. In 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS’96,Lecture Notes in Computer Science, vol. 1046, pp. 347–259. Springer Verlag.