Nuclear reactor instrumentation. Pressurized water reactor (PWR) of VVER design. Monitoring adequate cooling within the core during cold shutdown