Title: The control of real-time discrete-event systems subject to predicate-based constraints
First published: 1997