Title: State-based control of timed discrete event systems using binary decision diagrams
First published: 2004