Mixed-integer NMPC for predictive cruise control of heavy-duty trucks | IEEE Conference Publication | IEEE Xplore