Predictive fuel efficiency optimization using traffic light timings and fuel consumption model | IEEE Conference Publication | IEEE Xplore