Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
Patterns in Property Specifications for Finite-State Verification