A procedure for squirrel cage induction motor phase model parameters identification and accurate rotor faults simulation: mathematical aspects