G. Behrmann, A. David & K. G. Larsen (2004):
A Tutorial on UPPAAL.
In: Formal Methods for the Design of Real-Time Systems,
LNCS 3185.
Springer,
pp. 200–236.
Available at http://www.springerlink.com/content/03wam998tjn5mgma/.
G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson, J. Romijn & F. Vaandrager (2001):
Minimum-Cost Reachability for Priced Timed Automata.
In: HSCC'01,
Lecture Notes in Computer Science 2034.
Springer,
pp. 147–161,
doi:10.1007/3-540-45351-2.
Available at http://portal.acm.org/citation.cfm?id=710599.