H. Almeida, E. Oliveira, N. Barbosa, F. Bublitz, L. da Silva, and A. Perkusich.
" Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes", in <em>Anais do II Simpósio Brasileiro de Sistemas de Informação</em>, Florianópolis, 2005, pp. 272-279, doi: <a href="https://doi.org/10.5753/sbsi.2005.14994">https://doi.org/10.5753/sbsi.2005.14994</a>.