Evasiveness Through Binary Decision Diagrams | Publicación