@InProceedings{bllpww:sttt98,
  author = 	 {Johan Bengtsson and Kim G.\ Larsen and Fredrik Larsson and
                  Paul Pettersson and Yi Wang and Carsten Weise},
  title = 	 {{New Generation of {\sc Uppaal}}},
  booktitle = 	 {Int.\ Workshop on Software Tools for Technology 
                  Transfer},
  year = 	 1998,
  month = 	 Jun
}