Lips: An IDE for model driven engineering based on natural language processing
Patterns in Property Specifications for Finite-State Verification