Ecological Adaptive Cruise Control for Urban Environments using SPaT Information | IEEE Conference Publication | IEEE Xplore