0 P. Giorgini J. Mylopoulos E. Nicchiarelli R. Sebastiani 2004 Formal Reasoning Techniques for Goal Models. Journal of Data Semantics pub