Updated functionality section in especificacao.tex.
Small updates in anexos.tex and aspectos.tex.