https://1library.org/document/zpwd58vy-publicacoes-pesc-padroes-analise-especificacao-formal-proposta-migracao.html