An extended winding function model for induction machine modelling considering saturation effect. Issue 1 (13th December 2020)