Title: Supervisory control of real time discrete event systems
First published: 1986