Mauco, M. V., & Leonardi, M. C. (2012). A Derivation Strategy for Formal Specifications from Natural Language Requirements Models. COMPUTING AND INFORMATICS, 26(4), 421–445. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/318