área de pesquisa Avaliação probabilística de segurança de projetos de sistemas elétricos de instalações nucleares Sad Sandrini Borsoi