Title: The supervisory control of discrete event systems with forcible events
First published: 1990