Reasoning with Goal Models (2002)

by Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani