Title: Supervisory control of vector discrete-event systems
First published: 1991