Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation