Modeling Efficient and Effective Communications in VANET through Population Protocols | IEEE Conference Publication | IEEE Xplore