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 http://147.213.75.17/ojs/index.php/cai/article/view/318