Semi-automatic guided synthesis of concurrent systems specifications | Publicación