Short-Circuit Fault Detection Observer Design in a PMSM | IEEE Journals & Magazine | IEEE Xplore