Mauco, M. V. and Leonardi, M. C. (2012) “A Derivation Strategy for Formal Specifications from Natural Language Requirements Models”, COMPUTING AND INFORMATICS, 26(4), pp. 421–445. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/318 (Accessed: 23 April 2024).