Awareness requirements for adaptive systems
Patterns in Property Specifications for Finite-State Verification