Efficient robust supervisors for discrete event systems
scientific article; zbMATH DE number 5676765