Diagnosability verification using LTL model checking
scientific article; zbMATH DE number 7600209