Control Plane Optimization in Software-Defined Vehicular Ad Hoc Networks | Synapse