https://1library.org/document/eqood70q-aplicacao-do-metodo-b-projeto-formal-software-embarcado.html