Cadena: an integrated development, analysis, and verification environment for component-based systems
Patterns in Property Specifications for Finite-State Verification