João Carlos Basilio Stéphane Lafortune Robust codiagnosability of discrete event systems. 2202-2209 2009 ACC https://doi.org/10.1109/ACC.2009.5160208 conf/amcc/2009 db/conf/amcc/acc2009.html#BasilioL09