https://123dok.org/document/qvlx2d5r-diagnosis-diagnosability-analysis-console-claudia-picardi-marina-ribaudo.html