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