Methods and Tools for Robotization of Gear Shifting Mechanism for Highly Automated Vehicles | IEEE Conference Publication | IEEE Xplore