Seol mar théacs é seo: Modelamiento de protecciones utilizando ATP