There are a variety of induction motor models. In the models book, they can be found in Chapter 9. I know CIM5BL and CIM6BL are popular models, but they dont model motor stalling. ACMTBLU1 is an induction machine model which does model motor stalling.
 So far I have only used CIM5BL (MODELS book section 9.2) for dynamic simulations. Here is a sample parameter set:
 {Load bus no}  'CIM5BL' {Load ckt id}      1         0.004          0.083            4.0        0.04      0.08 
                   0        0           0            0          0          0 
                   0.0       1.2        1.0          0.0        1.0        5.0 
                   1.0       0  /
 These models need to be added to the dyr file and should correspond to a load entry in the raw file. In the sample parameter set provided above, replace {Load bus no} with the bus number where you want to model the motor and {Load ckt id} with the load circuit id.
 See section 20.2 of PAGV2 pdf to get more idea about how PSSE models induction motors (and other characteristic load models)