Martin Alt Robert Rehbold Ralf Scheidhauer QUASIMODIS: Modellbasierte Diagnose dynamischer Systeme mit qualitativer Simulation. 95-104 1990 conf/ki/1990 GWAI db/conf/ki/gwai90.html#AltRS90