“Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata”. International Journal of Automation and Smart Technology, vol. 8, no. 2, June 2025, https://doi.org/10.5875/ausmt.v8i2.1698.