versão prévia especificação com erro latex
Adição de caso de uso.