@InProceedings{fase04-rtm,
  author =       {P. C. {\"O}lveczky and J. Meseguer} ,
  title =        {Specification and Analysis of Real-Time Systems 
                 Using {R}eal-{T}ime {M}aude},
  booktitle = {Fundamental Approaches to Software Engineering (FASE 2004)},
  pages =        {354-358},
  year =         {2004},
  editor =       {T. Margaria and M. Wermelinger},
  volume =       {2984},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer}
}