GK-Tail+ An Efficient Approach to Learn Software Models
Inferring Finite-State Models with Temporal Constraints