Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata. International Journal of Automation and Smart Technology, [S. l.], v. 8, n. 2, 2025. DOI: 10.5875/ausmt.v8i2.1698. Disponível em: https://www.jausmt.org/index.php/jausmt/article/view/231.. Acesso em: 1 may. 2026.