Dylam-Treta. An Approach to Protection Systems Software Analysis | Publicación