Eddy-Current Analysis of Double-Stator Inset-Type Permanent Magnet Brushless Machines