Diagnosability of discrete event systems with modular structure
scientific article; zbMATH DE number 5073661