@Article{journ-rtm, author = {P. C. {\"O}lveczky and J. Meseguer}, title = {Semantics and Pragmatics of {Real-Time Maude}}, journal = {Higher-Order and Symbolic Computation}, year = {2007}, publisher = {Springer}, volume = {20}, number = {1-2}, pages = {161-196}, OPTmonth = {June}, }