This paper discusses general methods of modelling magnetic saturation in steady-state, two-axis (d & q) frame models of dual stator induction generators (DSIG). In particular, the important role of the magnetic coupling between the d-q axes (cross-magnetizing phenomenon) is demonstrated, with and without cross-saturation. For that purpose, two distinct models of DSIGs, with and without cross-saturation, are specified. These two models are verified by an application that is sensitive to the presence of cross-saturation, to prove the validity of these final methods and the equivalence between all developed models. Advantages of some of the models over the existing ones and their applicability are discussed. In addition, an alternative is given to evaluate all saturation factors (static and dynamic) by just calculating the static magnetizing inductance which is simply the magnitude of the ratio of the magnetizing flux to the current. The comparison between the simulation results of the proposed model with experimental results gives a good correspondence, especially at startup.