Girardi, R.; Leite, A. The Specification of Requirements in the MADAE-Pro Software Process. iSys 2011, 3.