Contract-Based Charging Protocol for Electric Vehicles With Vehicular Fog Computing: An Integrated Charging and Computing Perspective | IEEE Journals & Magazine | IEEE Xplore