Diagrama de flujo de la lógica temporal