@InProceedings{fates:04,
  author =       {K.G. Larsen and M. Mikucionis and B. Nielsen}, 
  title =        {Online Testing of Real-time Systems Using {\sc Uppaal}},
  booktitle =    {Formal Approaches to Testing of Software},
  year =         {2004},
  month =        {September 21},
  address =      {Linz, Austria},
  publisher =    {Lecture Notes in Computer Science},
  url =          {http://www.cs.aau.dk/~marius/tron/FATES2004.pdf}
}