K. Ritsuka, Stéphane Lafortune, Feng Lin, Caisheng Wang: Supplementary Material for "Detectability of Discrete Event Systems under Sensor Attacks". Zenodo 2024