Modeling Inter-Vehicle Communication in Multi-Lane Highways: A Stochastic Geometry Approach | IEEE Conference Publication | IEEE Xplore