Software Tool for Distribution of Linear Temporal Logic Specifications | Publicación