Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties
G4LTL-ST: Automatic Generation of PLC Programs