Enhancing nadzoru: modeling, analysis and synthesis of safecontrollers for discrete event systems: modeling, analysis and synthesis of safecontrollers for discrete event systems - Sponchiado, Giovanna Geremia (2023)