Utilização de Sistemas Críticos nas Atividades de Engenharia de Domínio e de Aplicações. - Hamilton L. R. Oliveira; Cleber R. P. da Rocha; Kléder Miranda Gonçalves; Cleidson R. B. de Souza (SBES, 2001)

Using Critiquing Systems for Inconsistency Detection in Software Engineering Models. - Cleidson R. B. de Souza; Hamilton L. R. Oliveira; Cleber R. P. da Rocha; Kléder Miranda Gonçalves; David F. Redmiles (SEKE, 2003)