LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS. EU. 2019;4(2):1642. Acesso em abril 24, 2026. https://periodicos.ufc.br/eu/article/view/59400