Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties
Inferring Finite-State Models with Temporal Constraints