Um Método de Certificação de Pior Caso de Tempo de Execução para Aplicações em Sistemas Operacionais de Tempo Real Não-Críticos Documento