Frost/Defrost Models for Air-Source Heat Pumps with Retained Water Refreezing Considered. - Jiacheng Ma 008; Matthis Thorade (CoRR, 2024)