Logikbasierte Prozessdiagnose unter Nutzung der kausalen Struktur dynamischer Systeme