Finding liveness errors with ACO | Publicación