Repositório do projeto de controle de tráfego para cruzamento de quatro vias usando Supremica. Inclui modelagem de semáforos, simulações e testes de verificação para sistemas não bloqueantes e controláveis.