Modeling of Damage in Cement-Based Materials Subjected to External Sulfate Attack. I: Formulation | Synapse