Inferring Finite-State Models with Temporal Constraints
Reverse Engineering State Machines by Interactive Grammar Inference