Robin C. Laney Leonor Barroca Michael Jackson Bashar Nuseibeh Composing Requirements Using Problem Frames. 122-131 2004 conf/re/2004 RE http://doi.ieeecomputersociety.org/10.1109/RE.2004.11 db/conf/re/re2004.html#LaneyBJN04