Selecione um sistema e descreva-o textualmente de maneira sucinta (no máximo 10 linhas). Exemplos: sistema de votação, controle de tráfego, bandejão, etc.
Enuncie 10 propriedades sobre esse sistema: primeiramente, enuncie em forma textual; depois, enuncie-o utilizando CTL.
O trabalho é individual. Envie pelo Moodle um arquivo PDF.