@InProceedings{hlnps-fates03,
  author = 	 {Anders Hessel and Kim G.~Larsen and Brian Nielsen and 
                  Paul Pettersson and Arne Skou},
  title = 	 {{Time-Optimal Real-Time Test Case Generation using {\sc Uppaal}}},
  booktitle =    {Proc.\ of 3{\em rd} International Workshop on Formal Approaches to Testing of Software},
  pages = 	 {136--151},
  year = 	 2003,
  editor = 	 {Alexandre Petrenko and Andreas Ulrich},
  number = 	 2931,
  series = 	 LNCS,
  publisher =    SPRINGER
}