https://1library.org/document/qv8vjx0z-sistemas-criticos-informatica-universidade-federal-pernambuco-engenharia-computacao.html