Reasoning with Goal Models. - Paolo Giorgini; John Mylopoulos; Eleonora Nicchiarelli; Roberto Sebastiani (ER, 2002)

Formal Reasoning Techniques for Goal Models. - Paolo Giorgini; John Mylopoulos; Eleonora Nicchiarelli; Roberto Sebastiani (J. Data Semant., 2003)