Especificação Formal e Validação de Sistemas Conceito