PRAVDA: Pseudo random network coding in vanet for data download | IEEE Conference Publication | IEEE Xplore