Automated Generation of Attack Trees with Optimal Shape and Labelling | Publicación