@MastersThesis{ad98,
  author = 	 {Alexandre David},
  title = 	 {{UL}++: an Object Oriented Language for {\sc Uppaal}},
  school = 	 {Uppsala University},
  year = 	 {1998},
  month = 	 {October}
}