Nonlinear Modeling and Analysis Software for Control Upset Prevention and Recovery of Aircraft