Static analysis of deterministic negotiations | Publicación