@String{cambridge = "{Cambridge, MA}"}

@MastersThesis{Livadas-MEng,
  author =       "Livadas, Carolos",
  title =        "{Formal Verification of Safety-Critical Hybrid Systems}",
  school =       MIT,
  year =         "1997",
  address =      cambridge,
  type =         "{Master of Engineering Thesis, Dept.\ of Electrical
                 Engineering and Computer Science}",
  month =        sep,
}