A Tool for Generating a Symbolic Representation of tccp Executions | Publicación