Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints. - Farzad Abdous; Abbas Dideban (Int. J. Control, 2025)