Novel message dissemination mechanism and mathematical model for safety applications in VANET | IEEE Conference Publication | IEEE Xplore