@InProceedings{NWPTMNL:03,
  author =       {Marius Mikucionis and Brian Nielsen and Kim G. Larsen},
  title =        {Real-time System Testing On-the-fly},
  booktitle =    {the 15th Nordic Workshop on Programming Theory},
  pages =        {36-38},
  year =         {2003},
  month =        {October 29--31},
  editor =       {Kaisa Sere and Marina Wald\'en},
  series =       {B},
  number =       {34},
  address =      {Turku, Finland},
  publisher =    {\oAbo Akademi, Department of Computer Science, Finland},
  note =         {Abstracts}
}