R. Girardi and A. Leite, “The Specification of Requirements in the MADAE-Pro Software Process”, iSys, vol. 3, no. 1, Dec. 2010.