M. V. Mauco and M. C. Leonardi, “A Derivation Strategy for Formal Specifications from Natural Language Requirements Models”, Comput. Inform., vol. 26, no. 4, pp. 421–445, Jan. 2012.