Interactive Goal Model Analysis Applied - Systematic Procedures versus Ad hoc Analysis. - Jennifer Horkoff; Eric S. K. Yu; Arup Ghose (PoEM, 2010)