@PhdThesis{Mitra07PhD,
  author   = {Sayan Mitra},
  title    = {A Verification Framework for Hybrid Systems},
  school   = {Massachusetts Institute of Technology},
  year     = {2007},
  address  = {Cambridge, MA 02139},
  month    = {September},
  biburl   = {http://users.crhc.illinois.edu/mitras/research.html},
  keywords = {Hybrid systems, Automated deduction},
  notes    = {PhD Thesis},
  pdfurl   = {research/2007/thesis.pdf},
  url      = {http://dspace.mit.edu/handle/1721.1/42238},
}