“LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS”. 2019. Encontros Universitários Da UFC 4 (2): 1642. https://periodicos.ufc.br/eu/article/view/59400.