Title: State-based discrete-event modeling and control of concurrent systems
First published: 1991