Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models. - Fulvio Cascio; Luca Console; Marcella Guagliumi; Massimo Osella; Andrea Panati; Sara Sottano; Daniele Theseider Dupré (AI Commun., 1999)