DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems. - Leonardo B. Clavijo; João Carlos Basilio; Lilian Kawakami Carvalho (WODES, 2012)

Diagnosability of intermittent sensor faults in discrete event systems. - Lilian Kawakami Carvalho; João Carlos Basilio; Marcos Vicente Moreira; Leonardo B. Clavijo (ACC, 2013)

Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. - Leonardo B. Clavijo; João Carlos Basilio (Discret. Event Dyn. Syst., 2017)