Electromagnetic Analysis of Electric Machines: First Principles, Modeling, and Design - Kirtley (IEEE, 2025)