Requirements Analysis - Mylopoulos, J; Chung, L; Yu, E (Commun ACM, 1999)