A new phase-domain induction machine model for use in power system dynamic simulation is developed with the aid of a symbolic tool. The symbolic tool can automatically construct a time-domain power system component model in the resistive companion form (RCF) that is widely used in time-domain simulators. The automatic differentiation technique (ADT) is utilized within the context of a symbolic modeling language, and the tool has been implemented for the virtual test bed (VTB) simulation environment. The new induction machine model was used to study start-up transients of an induction motor. The new model was verified by comparing the simulation results to those obtained from a standard d-q model. This paper also demonstrates that a symbolically assisted technique can provide an efficient and rapid path for developing complex nonlinear device models for power system simulations.