Non-Linear Modeling of Masonry Arches Strengthened with FRCM