Uma abordagem arquitetural para o desenvolvimento rigoroso de sistemas confiáveis baseados em componentes - Brito, Patrick Henrique da Silva (2009)
Orientador: Cecília Mary Fischer Rubira