Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties | IEEE Journals & Magazine | IEEE Xplore