Reasoning About Mean Time to Failure in Vehicular Clouds | IEEE Journals & Magazine | IEEE Xplore