LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS. EU 2019, 4 (2), 1642.