Lamperti, Gianfranco, et al. “Fault Diagnosis of Discrete-Event Systems from Abstract Observations”. COMPUTING AND INFORMATICS, vol. 41, no. 1, Apr. 2022, pp. 116–134, doi:10.31577/cai_2022_1_116.