Solution to the predecessors and Gardens-of-Eden problems for synchronous systems over directed graphs | Publicación