Quench propagation and quench detection in the TF system of JT-60SA