Title: Supervisory Control of Discrete-Event Systems (Communications and Control Engineering)