Design of estimators for the output shaft torque of automated manual transmission systems | IEEE Conference Publication | IEEE Xplore