https://1library.org/document/yde8wg1q-goncalves-rodrigues-modelagem-formalizacao-verificacao-contratos-utilizando-management.html