@InProceedings{dagstuhl, 
author =         {Kim Larsen and Marius Mikucionis and Brian Nielsen},
title =          {{Online Testing of Real-time Systems using Uppaal: Status and Future 
Work}},
editor =         {E. Brinksma and W. Grieskamp and J. Tretmans and E. Weyuker},
booktitle = {Dagstuhl Seminar Proceedings volume 04371: Perspectives of Model-Based Tes
ting},
organization = {},
year =   2004,
publisher = {IBFI gem. GmbH, Schloss Dagstuhl},
pages ={},
address =        {Schloss Dagstuhl, D-66687 Wadern, Germany.},
month =          {September},
date =           {5-10},
note = {},
series =         {},
url = {http://www.cs.aau.dk/~marius/tron/Dagstuhl2004.pdf}
}