Igor Buzhinsky. Formalization of natural language requirements into temporal logics: a survey. In 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019. pages 400-406, IEEE, 2019. [doi]
Abstract is missing.