Verificação e Validação na terceirização de software embarcado em aplicações espaciais. - Maria de Fátima Mattiello-Francisco; Valdivino Alexandre de Santiago Júnior; Ana Maria Ambrosio; Ricardo Costa; Leise Jogaib (SBQS, 2006)