@InProceedings{OMrealtimemaude_2000,
  author = 	 {Peter Csaba {\"O}lveczky and Jos{'e} Meseguer},
  title = 	 {{R}eal-{T}ime {M}aude: A Tool for Simulating and 
                  Analyzing Real-Time and Hybrid Systems},
  booktitle = 	 {3rd International Workshop on Rewriting Logic and its 
                  Applications (WRLA'00)},
  year = 	 {2000},
  volume = 	 {36},
  series = 	 {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier},
}