A spectrum of definitions for temporal model-based diagnosis
scientific article; zbMATH DE number 1238315
scientific article