New temperature monitoring devices for high-temperature irradiation experiments in the High Flux Reactor Petten | IEEE Conference Publication | IEEE Xplore