1. Alur, R., Timed automata, in: Proc. 11th Intern. Conf. on Comp. Aided Verif. (CAV) (1999), pp. 8–22
2. A theory of timed automata;Alur;Theoretical Computer Science,1994
3. Behrmann, G., J. Bengtsson, A. David, K. G., Larsen, P. Pettersson and W. Yi, Uppaal implementation secrets, in: Proc. Form. Technique in Real-Time and Fault-Toler. Syst. (FTRTFT) (2002), pp. 3–22
4. Testing timing behaviors of real time software;Braberman,1997
5. Conformance testing of real-time systems with timed automata;Cardell-Oliver;Formal Aspects of Computing,2000