David Ferreira Alberto Rodrigues da Silva A requirements specification case study with ProjectIT-studio/requirements. 656-657 2008 SAC http://doi.acm.org/10.1145/1363686.1363843 conf/sac/2008 db/conf/sac/sac2008.html#FerreiraS08