Related publications: [TLD24]
OPC Unified Architecture (OPC UA) is a cross-platform, open-source, IEC62541 standard for data exchange from sensors to cloud applications developed by the OPC Foundation.
In the research article [TLD24] active automata learning is used to learn OPC UA implementations:
The learning results can also be found in the article's github repository