Paolo Giorgini John Mylopoulos Eleonora Nicchiarelli Roberto Sebastiani Reasoning with Goal Models. 167-181 2002 conf/er/2002 ER http://link.springer.de/link/service/series/0558/bibs/2503/25030167.htm db/conf/er/er2002.html#GiorginiMNS02