Model-Based Control Design And Experimental Validation Of An Automated Manual Transmission