Pātuhitia tēnei: Estudo e Definição de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Críticos