A study on automated shifting and shift timing using a driver's mental model | IEEE Conference Publication | IEEE Xplore