@techreport{PSWW11,
  author = {Theodore P.~Pavlic and Paolo A.~G.~Sivilotti and Alan D.~Weide and Bruce W.~Weide},
  title = {Comments on 'Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified'},
  institution = {The Ohio State University},
  year = {2011},
  number = {OSU-CISRC-7/11-TR22},
  url = {ftp://ftp.cse.ohio-state.edu/pub/tech-report/2011/TR22.pdf}
}