@Article{wrla06-completeness, author = {P. C. {\"O}lveczky and J. Meseguer}, title = {Abstraction and Completeness for {Real-Time Maude}}, journal = {Electronic Notes in Theoretical Computer Science}, year = {2007}, volume = {176}, number = {4}, pages = {5-27}, OPTmonth = {July} }