Verificação probabilística da segurança das estruturas - Laranja, Roberto (2003)