Almeida, Hyggo, Elthon Oliveira, Nádia Barbosa, Frederico Bublitz, Leandro da Silva, and Angelo Perkusich.
" Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes." <em>Anais do II Simpósio Brasileiro de Sistemas de Informação,
Florianópolis, 2005</em>. SBC, 2005,  
pp.272-279.