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