@InProceedings{lpw:cav97,
  author = 	 {Kim G.\ Larsen and Paul Pettersson and Wang Yi},
  title = 	 {{\sc Uppaal}: Status and Developments},
  booktitle = 	 CAV97,
  pages = 	 {456-459},
  year = 	 {1997},
  editor = 	 {Orna Grumberg},
  number = 	 1254,
  series = 	 LNCS,
  month = 	 Jun,
  publisher = {Springer--Verlag}
}