Performance modeling methodology of emergency dissemination algorithms for vehicular ad-hoc networks | IEEE Conference Publication | IEEE Xplore