Regular Linear Temporal Logic | Publicación