John Graham.* Thistle

• Control of infinite behaviour of discrete-event systems