Synthesis and verification of motor-transmission shift controller for electric vehicles | IEEE Conference Publication | IEEE Xplore