A frost formation model and its validation under various experimental conditions