@inproceedings{{\"o}lveczky00specifying,
    author = {Peter Csaba {\"O}lveczky and Jos{'e} Meseguer},
    title = {Specifying real-time systems in rewriting logic},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {4},
    publisher = {Elsevier Science Publishers},
    editor = {J. Meseguer},
    year = {2000}
}