Highway propagation modeling in VANETS and its impact on performance evaluation | IEEE Conference Publication | IEEE Xplore