Optimal Speed Control of a Heavy-Duty Vehicle in the Presence of Traffic Lights | IEEE Conference Publication | IEEE Xplore