@InProceedings{emsoft:05,
  author =       {Kim G. Larsen and Marius Mikucionis and Brian Nielsen},
  title =        {Testing real-time embedded software using UPPAAL-TRON: an industrial case study},
  booktitle =    {the 5th ACM international conference on Embedded software},
  pages =        {299 - 306},
  year =         {2005},
  month =        {September 18--22},
  publisher =    {ACM Press New York, NY, USA},
  url =          {http://doi.acm.org/10.1145/1086228.1086283},
  linkpdf =      {http://www.cs.aau.dk/~marius/tron/EMSOFT2005.pdf}
}