Modeling of Transient Turbulent Natural Convection in a Melt Layer With Solidification