@TechReport{damo01,
  author = 	 {Alexandre David and M. Oliver M{\"o}ller},
  title = 	 {From {\sc HUppaal} to {\sc Uppaal}: A Translation from Hierarchical Timed Automata to Flat Timed Automata},
  institution =  {{BRICS}},
  year = 	 {2001},
  number = 	 {RS-01-11},
  month = 	 {March},
  url =          {http://www.brics.dk/RS/01/11/index.html}
}