Emmanuel Letier Axel van Lamsweerde Agent-based tactics for goal-oriented requirements elaboration. 83-93 2002 conf/icse/2002 ICSE http://doi.acm.org/10.1145/581339.581353 db/conf/icse/icse2002.html#LetierL02