Natural circulation in water-cooled nuclear power plants phenomena, models, and methodology for system reliability assessments