@mastersthesis{mastersthesis11d57e42,
title   = {O processo de elicitação de metas de dependabilidade para sistemas computacionais críticos: estudo de caso aplicado a área espacial},
author = {Lahoz, Carlos Henrique Netto and Camargo Júnior, João Batista},
year = {2009},
school = {Universidade de São Paulo}
}