1. LNCS;R Alur,1991
2. Davis N (1987) Problem # 4: LIFT. In: Fourth international workshop on software specification and design, IEEE Computer Soc, Los Alamitos
3. Denert E (1977) Specification and design of dialogue systems with state diagrams. In: Ribbons D (ed) International computing symposium. North-Holland, Amsterdam, pp 417–424
4. Dima C (2001) Real-time automata. J Autom Lang Comb 6(1):3–23
5. Douglass BP (1999) Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns. Addison Wesley, Reading