Development of radioactive ion beam production systems for Tokai Radioactive Ion Acceleration Complex—High temperature ion source for short-lived isotopes | Publicación