Regular Linear-Time Temporal Logic | Publicación