Text this: Ensuring the conformance of reactive discrete-event systems by means of supervisory control.