Title: Control of Boolean discrete event systems
First published: 1999