SPARK: A New VANET-Based Smart Parking Scheme for Large Parking Lots | Synapse