An Analytical Approach to Design Energy-Efficient Propulsion Systems for Electric Vehicles with Consideration of Magnetic Saturation in Electric Motors | IEEE Conference Publication | IEEE Xplore