Over the past several years, there has been renewed interest in modeling electrical machines using phase (abc) variables. This paper considers modeling induction machines using phase variables in a voltage-behind-reactance (VBR) formulation. Specifically, three VBR models are proposed wherein the rotor electrical subsystem is modeled using flux linkages as state variables expressed in the qd reference frame. The stator electrical dynamics are represented in abc phase coordinates that enable direct interface of the machine model to an external network. Such a direct interface is advantageous when the machine is fed from a power electronic converter and/or when the modeling is carried out using circuit-based simulators. Computer studies of an induction machine demonstrate that the proposed VBR models achieve a 740% improvement in computational efficiency as compared with the traditional coupled-circuit phase-domain model.