Enhancing Reliability and Availability through Redundancy in Vehicular Clouds | IEEE Journals & Magazine | IEEE Xplore