Mauco, M. V., & Leonardi, M. C. (2007). A Derivation Strategy for Formal Specifications from Natural Language Requirements Models. Computing and Informatics, 26(4), 421–445. https://cai.type.sk/content/2007/4/a-derivation-strategy-for-formal-specifications-from-natural-language-requirements-models/