@InProceedings{rttools,
  author = 	 {P. C. {\"O}lveczky and J. Meseguer},
  title = 	 {Specifying and Analyzing Real-Time Object Systems in 
                  {Real-Time Maude}},
  booktitle = 	 {Proc.\ Workshop on Real-Time Tools, Aalborg University, 
                  Denmark, 2001},
  year = 	 {2001},
  editor = 	 {P. Pettersson and S. Yovine},
  note = 	 {Technical report 2001-14, Department of Information 
                  Technology, Uppsala University}
}