Inferring Safe Maude Programs with ÁTAME | Publicación