Adaptive cruise control: Hybrid, distributed, and now formally verified

@TECHREPORT{DBLP:conf/fm/LoosPN11:TR,
	ref = {DBLP:conf/fm/LoosPN11},

  author    = {Sarah M. Loos and
               Andr{\'e} Platzer and
               Ligia Nistor},
  title     = {Adaptive Cruise Control:
               Hybrid, Distributed, and Now Formally
               Verified},
  number    = {CMU-CS-11-107},
  year      = {2011},
  month     = {},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2011/CMU-CS-11-107.pdf}
}```