Atualizadas temporizações de semáforos.
Testes com temporização
Programações de semáforos corrigidas.