Almeida, H., 		Oliveira, E., 		Barbosa, N., 		Bublitz, F., 		da Silva, L., & 		Perkusich, A.
(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>, (pp. 272-279). Porto Alegre: SBC.
doi:10.5753/sbsi.2005.14994