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