Automata Wiki

Bibliography

TLD24

Arthur Tran Van, Olivier Levillain, Hervé Debar. Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations. ARES 2024: 16:1-16:10 https://doi.org/10.1145/3664476.3664506

OPC-UA

https://en.wikipedia.org/wiki/OPC_Unified_Architecture