Hyggo Almeida, Elthon Oliveira, Nádia Barbosa, Frederico Bublitz, Leandro da Silva, and Angelo Perkusich. 2005.
 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>, outubro 26, 2005, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 272-279. DOI: <a href="https://doi.org/10.5753/sbsi.2005.14994">https://doi.org/10.5753/sbsi.2005.14994</a>.