Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method