Model inference ; STS ; machine learning ; produc-tion system ; passive testing ; conformance