Uma Proposta de Sistemática para a Análise de Segurança de Software Crítico Embarcado Aeroespacial. - Elio Lovisi Filho; Adilson Marques da Cunha (QUATIC, 2001)