A Cooperative Approach to Traffic Congestion Detection With Complex Event Processing and VANET | IEEE Journals & Magazine | IEEE Xplore