@InProceedings{bdlmpw-cdc01,
  author = 	 {Gerd Behrmann and Alexandre David and Kim G.\ Larsen and Oliver Möller and Paul Pettersson and Wang Yi},
  title = 	 {{\sc Uppaal} - Present and Future},
  booktitle = 	 {Proc.\ of 40{\em th} IEEE Conference on Decision and Control},
  year =         2001,
  publisher =    {IEEE Computer Society Press}
}