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.