Inferring Finite-State Models with Temporal Constraints
introduction to automata theory , languages and computation .