Supervisory control of modular systems with global specification languages