Improved performance modeling of intelligent alert message diffusion in VANET | IEEE Conference Publication | IEEE Xplore