Representing and reasoning about preferences in requirements engineering
Patterns in Property Specifications for Finite-State Verification