Computing with words in formal methods