Controller Design for Cooperative Driving with Guaranteed Safe Behavior