A model of water thermal-hydraulics during depressurization of a vessel filled with water under saturation conditions | IEEE Conference Publication | IEEE Xplore