Title: Modeling and control of discrete-event systems with hierarchical abstraction
First published: 2000