Formalization of natural language requirements into temporal logics: a survey.

Igor Buzhinsky

Browse the full INDIN paper archive.