https://123dok.net/document/zgw90637-complexity-reduction-techniques-quantified-diagnosability-stochastic-systems.html