Refinement-Aware Generation of Attack Trees | Publicación