Diagnosis of discrete event systems using decentralized architectures
scientific article; zbMATH DE number 5162110