VANET-based approach for parking space availability | Synapse