AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems
Patterns in Property Specifications for Finite-State Verification