@InProceedings{bbdlpw-ftrtft02,
  author = 	 {Gerd Behrmann and Johan Bengtsson and Alexandre David and 
                  Kim G. Larsen and Paul Pettersson and Wang Yi.},
  title = 	 {{\sc Uppaal} Implementation Secrets},
  booktitle = 	 {Proc.\ of 7{\em th} International Symposium on Formal 
                  Techniques in Real-Time and Fault Tolerant Systems},
  OPTpages = 	 {},
  year = 	 2002,
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTpublisher = {}
}