Alban Grastien Marie-Odile Cordier Christine Largouët First Steps Towards Incremental Diagnosis of Discrete-Event Systems. 170-181 2005 conf/ai/2005 Canadian Conference on AI http://dx.doi.org/10.1007/11424918_18 db/conf/ai/ai2005.html#GrastienCL05