,
Elsevier
Systems & Control Letters
Scientific Computing

Komenda, J., Masopust, T., & van Schuppen, J. (2011). Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. Systems & Control Letters, 60, 492–502.