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)

Odyssey-VCS: a flexible version control system for UML model elements. - Hamilton L. R. Oliveira; Leonardo Gresta Paulino Murta; Cláudia M. L. Werner (SCM, 2005)

Odyssey-SCM: An integrated software configuration management infrastructure for UML models. - Leonardo Gresta Paulino Murta; Hamilton L. R. Oliveira; Cristine R. Dantas; Luiz Gustavo Lopes; Cláudia Maria Lima Werner (Sci. Comput. Program., 2007)