Automatische Zustandsmodellgenerierung für die Diagnose technischer Prozesse / Jürgen Quade