Analyzing vehicle traces to find and exploit correlated traffic lights for efficient driving | IEEE Conference Publication | IEEE Xplore