Takeda T. High Temperature Gas-cooled Reactors 2021