[1]
Mauco, M.V. and Leonardi, M.C. 2012. A Derivation Strategy for Formal Specifications from Natural Language Requirements Models. COMPUTING AND INFORMATICS. 26, 4 (Jan. 2012), 421–445.