Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge. - Roberto Garatti; Gianfranco Lamperti; Marina Zanella (ECAI, 2002)