A necessary and sufficient condition for diagnosability of stochastic discrete event systems
scientific article; zbMATH DE number 6805730