An efficient alert dissemination protocol in a vehicular ad hoc network | IEEE Conference Publication | IEEE Xplore