A lane-level dynamic traffic control system for driving efficiency optimization based on vehicular networks | IEEE Conference Publication | IEEE Xplore