Predictive energy efficiency optimization of an electric vehicle using information about traffic light sequences and other vehicles | IEEE Conference Publication | IEEE Xplore