Formal Reasoning Techniques for Goal Models
A Mathematical Theory Of Evidence