Almeida, Hyggo, 		Oliveira, Elthon, 		Barbosa, Nádia, 		Bublitz, Frederico, 		da Silva, Leandro, E 		Perkusich, Angelo.
" Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes" <em>Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI)</em> [Online], (26 outubro 2005)