Gearshift Control for Automated Manual Transmissions