Anamaria Martins Moreira, Leila Ribeiro: Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006. Electronic Notes in Theoretical Computer Science 195, Elsevier 2008