A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification | Publicación