Efficient traffic congestion detection protocol for next generation VANETs | IEEE Conference Publication | IEEE Xplore