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.