Lamperti, Gianfranco, Marina Zanella, and Xiangfu Zhao. 2022. “Fault Diagnosis of Discrete-Event Systems from Abstract Observations”. Computing and Informatics 41 (1):116–134. https://doi.org/10.31577/cai_2022_1_116.