Text this: Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking