Modelling and Control for Automated Manual Transmissions with Dry Clutch