DYANA: Best-First Hierachical Diagnosis Based on Differential Equation Models. - Martin Reinders; Anita Pos; Frank van der Neut (Ann. Math. Artif. Intell., 1994)