Szukana fraza: [Abstract = "The discussion covers initial failure detection \(with the use of an expected behavior approach rather than the complete model of the system\), diagnostic reasoning based on search of the graph, and a final validation stage of generated possible diagnoses. Finally, possibilities of further extensions and related work are pointed out."]