Almeida, H., 		Oliveira, E., 		Barbosa, N., 		Bublitz, F., 		da Silva, L., & 		Perkusich, A.
2005 out 26.  Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI). [Online] :