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