Verification and Validation of Fuzzy Rules-Based Human Behavior Models