T-UPPAAL: Online Model-based Testing of Real-Time Systems

@inproceedings{Mikucionis-al:ASE04,
  author    = {Marius Mikucionis and
               Kim Guldstrand Larsen and
               Brian Nielsen},
  title     = {{T-UPPAAL:} Online Model-based Testing of {Real-Time} Systems},
  booktitle = {ASE},
  pages     = {396--397},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}