Goal-directed requirements acquisition - Dardenne, A; van Lamsweerde, A; Fickas, S (Sci Comput Program, 1993)