Formal design optimization of PM drive couplings | IEEE Conference Publication | IEEE Xplore