@TechReport{Diab15,
  author      = "Hilal Diab",
  title       = "Experimental Validation and Mathematical Analysis of Cooperative Vehicles in a Platoon",
  institution = "RWTH Aachen",
  keywords    = "Vehicular Platoon, Intersection Management, Reachability Analysis",
  year        = "2015",
  number      = "AIB-2015-07",
  month       = apr,
  url         = "http://aib.informatik.rwth-aachen.de/2015/2015-07.pdf"
}