@inproceedings{tacas08,
  author    = {P. C. {\"O}lveczky and
               J. Meseguer},
  title     = {The {Real-Time Maude} Tool},
  editor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  booktitle = {Tools and Algorithms for the Construction and Analysis of
               Systems (TACAS 2008)},
  year      = {2008},
  pages     = {332-336},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963}
}