Simulation of traffic congestion detection using VANETs | IEEE Conference Publication | IEEE Xplore