Validation of a thermo-hydro-mechanical model of freezing of water-saturated soil based on laboratory tests results