, ,
,
Elsevier
Automatica
Scientific Computing

Komenda, J., van Schuppen, J., Gaudin, B., & Marchand, H. (2008). Supervisory control of modular systems with global specification languages. Automatica, 44, 1127–1134.