An Analytical Formula for Back EMF Waveform of a Counter-rotating Dual-Rotor Non-Slotted Axial Flux Permanent Magnet Synchronous Machine