ARSENAL: Automatic Requirements Specification Extraction from Natural Language
An Automata-Theoretic Approach to Linear Temporal Logic