Frequency Linear-time Temporal Logic | Publicación