@Article{OlvMesTCS,
  author =       {P. C. {\"O}lveczky and J. Meseguer},
  title =        {Specification of Real-Time and Hybrid Systems in 
                  Rewriting Logic}, 
  journal =      {Theoretical Computer Science},
  year =         {2002},
  volume =       {285},
  pages =        {359-405}
}