@mastersthesis{mastersthesis243b4674,
title   = {Estudo do método de avaliação quantitativa de segurança aplicada à especificação de sistemas de controle e proteção},
author = {Giacomini, Renato Camargo and Souza, Benício José de},
year = {1998},
school = {Universidade de São Paulo}
}