Deriving operational software specifications from system goals
Non-functional requirements in software engineering