https://123dok.net/document/zgw921d6-diagnosability-evaluation-by-model-checking.html