1. Lect Notes Comput Sci;Asarain,1997
2. Lect Notes Comput Sci;Alur,1990
3. Felice Balarin. Approximate Reachability Analysis of Timed Automata. Proc. Real-Time Systems Symposium, Washington, DC, December 1996, pp. 52–61.
4. Lect Notes Comput Sci;Bengtsson,1996
5. Lect Notes Comput Sci;Bengtsson,1996