Title: Control of infinite behaviour of discrete-event systems
First published: 1991