CARTIM: A proposal toward identification and minimization of vehicular traffic congestion for VANET | IEEE Conference Publication | IEEE Xplore