Traffic Signal Timing Optimization with Connected Vehicles