He-xuan Hu 0001 Anne-Lise Gehin Mireille Bayart An extended qualitative multi-faults diagnosis from first principles I: Theory and modelling. 1008-1013 2009 CDC https://doi.org/10.1109/CDC.2009.5400641 conf/cdc/2009 db/conf/cdc/cdc2009.html#HuGB09