@InProceedings{ase:04,
  author = 	 {Marius Mikucionis and Kim G. Larsen and Brian Nielsen},
  title = 	 {T-UPPAAL: Online Model-based Testing of Real-time Systems: tool demo},
  booktitle =    {the 19th IEEE International Conference on Automated Software Engineering},
  pages = 	 {396-397},
  year = 	 {2004},
  address = 	 {Linz, Austria},
  month = 	 {September 24},
  url = {http://www.cs.aau.dk/~marius/tron/ASE2004.pdf}
}