https://jornal.usp.br/ciencias/como-construir-um-sistema-computacional-para-contextos-em-que-falha-pode-ser-fatal/