1. R. ALur and D.Dill, “Automata for Modeling Real-Time Systems.” In Lecture Notes in Computer Science 443, editor Proceedings of the 17th Intern. Coll. on Automata, Languages and Programming, Warwick, UK, 1990. Springer-Verlag
2. W.A.Barrett and J.D.Couch,“Compiler Construction:Theory and Practice” Ed.:Science Research Associates, Inc. 1979
3. G.v. Bochmann and R. Gotzhein, “Deriving protocols specifications from service specifications.” Proceedings du Symposium ACM SIGCOM ’ 86, Vermont, USA, pp. 148–156, 1986.
4. BW92] B. Brandin and W.M. Wonham, “The supervisory Control of Timed Discrete-Event Systems.” Proceedings of the 3 lrst Conf. on Decision and Control, Tucson, Arizona, Dec.92.
5. Dî89] D. Dill, “Timing assumptions and Verifications of Finite-State Concurrent Systems.”, In Lecture Notes in Computer Sciences 407, editor Automatic Verification Methods For Finite State Systems, Intern. Workshop, pp.197–212, Grenoble France, 1989. Springer-Verlag.