selected publications academic article Validation of WWER-440/213 Thermohydraulic Model for TRACE Computer Code Based on RNPP-1 Incident Data 2019 Development and Validation of VVER-1000 Thermohydraulic Computer Model for TRACE Computer Code 2017