@PhdThesis{dr,
  author = 	 {P. C. {\"O}lveczky},
  title = 	 {Specification and Analysis of Real-Time and Hybrid 
                 Systems in Rewriting Logic},
  school = 	 {University of Bergen},
  year = 	 {2000}
}