Computation of synchronous diagnosis bases of discrete-event systems. - Lucas N. R. Reis; Marcos V. Moreira (Inf. Sci., 2025)