Traffic congestion detection with complex event processing in VANET | IEEE Conference Publication | IEEE Xplore