Text this: Formal method to implement fuzzy requirements