Model-based causal reasoning for process supervision. - Lydie Leyval; Sylviane Gentil; Stéphane Feray-Beamont (Autom., 1994)