“Effective Supervisor Synthesis for Automated Manufacturing Systems Based on Finite State Automata”, JAUSMT, vol. 8, no. 2, Jun. 2025, doi: 10.5875/ausmt.v8i2.1698.