A Contract-Based Computing-Charging Protocol for Electric Vehicles with Vehicular Fog Computing | IEEE Conference Publication | IEEE Xplore