Model based controller synthesis using reachability analysis that guarantees the safety of autonomous vehicles in a convoy | IEEE Conference Publication | IEEE Xplore