Title: Supervisory control of boolean discrete-event systems
First published: 2000