Inferring Finite-State Models with Temporal Constraints
Patterns in Property Specifications for Finite-State Verification