Towards software-defined VANET: Architecture and services | Synapse