Mauco, M. V.; Leonardi, M. C. A Derivation Strategy for Formal Specifications from Natural Language Requirements Models. Comput. Inform. 2012, 26, 421-445.