Lamperti, G., Zanella, M. and Zhao, X. (2022) “Fault Diagnosis of Discrete-Event Systems from Abstract Observations”, Computing and Informatics, 41(1), pp. 116–134. doi: 10.31577/cai_2022_1_116.