發送短信 : Performance Evaluation of Nonlinear Automated Model Generation Approaches for High Level Fault Modeling