Robuta

https://experts.mcmaster.ca/scholarly-works/133122 Formal Translation of IEC 61131-3 Function Block... Learn about the scholarly work entitled Formal Translation of IEC 61131-3 Function Block... formal translation iec function block https://portal.fis.tum.de/en/publications/semiautomatic-translation-of-legal-regulations-to-formal-represen-2/ (Semi)automatic translation of legal regulations to formal representations: Expanding the horizon... semi automatic legal regulations