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

@techreport{DBLP:conf/fm/LoosPN11:TR,
	ref = {DBLP:conf/fm/LoosPN11},
	author = {['Sarah M. Loos', 'André Platzer', '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}
}