“Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata”. International Journal of Automation and Smart Technology 8, no. 2 (June 30, 2025). Accessed May 1, 2026. https://www.jausmt.org/index.php/jausmt/article/view/231.