Optimal Deployment of Charging Stations for Electric Vehicles: A Formal Approach | IEEE Conference Publication | IEEE Xplore