"UPPAAL in 1995."

Johan Bengtsson et al. (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics