Text this: Supervisory control of concurrent systems :