Simple and Minimum-Cost Satisfiability for Goal Models
Requirements Engineering in the Year 00: A Research Perspective