Performance modeling of safety message delivery in vehicular ad hoc networks | IEEE Conference Publication | IEEE Xplore