Safety enforcement via programmable strategies in Maude | Publicación