“LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS” (2019) Encontros Universitários da UFC, 4(2), p. 1642. Disponível em: https://periodicos.ufc.br/eu/article/view/59400 (Acesso em: 25 abril 2026).