Abstraction-based failure diagnosis for discrete event systems
scientific article; zbMATH DE number 5689502