Experimental Validation Of Passive Safety System Models: Application To Design And Optimization Of Fluoride-Salt-Cooled, High-Temperature Reactors