This article presents a semi-automated method that helps to write use cases iteratively in a natural language and to verify consistency of their temporal properties. This is particularly beneficial when the use cases are created simultaneously by multiple developers. The proposed method allows to verify the consistency of textual use-case specification by employing annotations in use case steps.