@Article{OMrealtime_2000,
  author = 	 {P.C. {\"O}lveczky and J. Meseguer.},
  title = 	 {Specification of Real-Time and Hybrid Systems in Rewriting Logic},
  journal = 	 {?},
  year = 	 {2000},
  volume = 	 {?},
  number = 	 {?},
  pages = 	 {?-?},
  note = 	 {submitted for publication},
}