General LTL Specification Mining
An Automata-Theoretic Approach to Linear Temporal Logic