https://1library.org/document/q7rx1rry-contribuicoes-melhoria-processo-verificacao-formal-propriedades-programas-aadl.html