On Optimal Scheduling of OTA Software Updates for Smart Vehicles Leveraging Fog Computing | IEEE Conference Publication | IEEE Xplore