Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação.