Verificação de Requisitos em Programas Espaciais