In this report a general framework for developing two-axis models for Induction Machines (IMs) with electrical faults is presented. It produces models that are of reasonably low differential order, suitable for mathematical analysis and can serve as a ground for fault detection and fault tolerant control of the IM. The modelling is performed by applying well established idealizing assumptions regarding the magnetic and electrical properties of the motor. In particular, models describing the IM subject to electrical faults in the stator and rotor are derived. Typical motor faults as inter-turn short circuit, increased winding resistance and broken rotor bars are taken into account. The models are validated against data collected from mass-produced industrial IMs. The validation shows very good agreement between simulations and experiment, for each of the considered faults. Finally, a stability proof for the derived models is presented enabling their use in control and monitoring applications.