Cobo, María Laura Programación en lógica temporal basada en los operadores since y until Standard No.: DIF-M3409