Model-Based Control Design and Experimental Validation of an Automated Manual Transmission