Qualitative dynamic diagnosis of circuits. - Alessandra Fanni; Paolo Diana; Alessandro Giua; Marco Perezzani (Artif. Intell. Eng. Des. Anal. Manuf., 1993)