Title: Computationally efficient supervisor design for discrete-event systems
First published: 2007