Gearshift control for automated manual transmissions | IEEE Journals & Magazine | IEEE Xplore