Implementation of a tension-stiffening model for the cracking nonlinear analysis of reinforced concrete elements in XC