Safety studies on hydrogen production system with a high temperature gas-cooled reactor - Takeda, Tetsuaki.